Alexander Neumann 7b6629802b Move "doc" to root dir		2016-02-20 17:31:21 +01:00
..
logo	Move "doc" to root dir	2016-02-20 17:31:21 +01:00
Design.md	Move "doc" to root dir	2016-02-20 17:31:21 +01:00
PKGBUILD	Move "doc" to root dir	2016-02-20 17:31:21 +01:00
structure.svg	Move "doc" to root dir	2016-02-20 17:31:21 +01:00
test_irreducibility.gap	Move "doc" to root dir	2016-02-20 17:31:21 +01:00