opennota 25e459659a Fix some typos		2017-02-09 06:43:10 +07:00
..
logo	…
Design.md	Clean up documentation, remove inconsistencies	2017-01-30 10:48:59 +01:00
FAQ.md	Correct FAQ	2017-01-19 11:47:33 +01:00
Manual.md	Fix some typos	2017-02-09 06:43:10 +07:00
PKGBUILD	…
REST_backend.md	REST: Make create repository idempotent	2017-01-30 19:33:17 +01:00
code.css	doc/mkdocs: Improve code hilighting	2016-11-08 20:23:39 +01:00
index.md	doc/mkdocs: Improve code hilighting	2016-11-08 20:23:39 +01:00
test_irreducibility.gap	…