devdocs

Author	SHA1	Message	Date
Simon Legner	ce248cebd0	Fix manifest db_size	2 years ago
Simon Legner	eac7f96cdb	/about: Obtain credits from docs metadata	2 years ago
Thibaut Courouble	68b80bce36	Generate pretty JSON in docs.json manifest To make it easier to track changes in Git.	7 years ago
Thibaut Courouble	0725a69af5	Store docs' metadata in meta.json files To avoid relying on the filesystem for modified times.	7 years ago
Thibaut Courouble	a639aedcd9	Remove index_path and db_path from docs manifest	9 years ago
Thibaut	a59ef1cdb6	Add db_size attribute in doc manifest	10 years ago
Thibaut	bc5488faa2	Make docs mtime the greatest of the index and db files' mtime	10 years ago
Thibaut	ca7ff6086e	Exclude docs without a db file from the manifest	10 years ago
Thibaut	18986c1814	Going open source	12 years ago