Alexander Neumann 4a51ddf741 Add section to the manual about same directory names ... Related to #652		2017-02-21 20:46:26 +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 section to the manual about same directory names	2017-02-21 20:46:26 +01:00
PKGBUILD
REST_backend.md	REST: Make create repository idempotent	2017-01-30 19:33:17 +01:00
test_irreducibility.gap