Alexander Neumann 685f5ebbd1 Add --prune switch to forget		2017-02-21 10:58:30 +01:00
..
logo
code.css
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
index.md
Manual.md	Add --prune switch to forget	2017-02-21 10:58:30 +01:00
PKGBUILD
REST_backend.md	REST: Make create repository idempotent	2017-01-30 19:33:17 +01:00
test_irreducibility.gap