Mirko Dziadzka d47758a540 fix typo

2017-01-18 10:46:04 +01:00

..

logo

…

code.css

doc/mkdocs: Improve code hilighting

2016-11-08 20:23:39 +01:00

Design.md

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

Manual.md

fix typo

2017-01-18 10:46:04 +01:00

PKGBUILD

…

REST_backend.md

…

test_irreducibility.gap

…