Alexander Neumann 9b93b3a72c doc: Reduce text in README, add to Manual		2016-02-21 13:37:55 +01:00
..
logo
Design.md	Update index format	2015-10-12 20:53:07 +02:00
index.md	doc: Reduce text in README, add to Manual	2016-02-21 13:37:55 +01:00
Manual.md	doc: Reduce text in README, add to Manual	2016-02-21 13:37:55 +01:00
PKGBUILD	Update PKGBUILD to reflect restic official version numbering	2015-12-27 22:05:05 +01:00
test_irreducibility.gap