Alexander Neumann de8c64e767 Use deterministic date for man pages		2017-09-02 09:27:11 +02:00
..
_static	…
images/aws_s3	…
logo	…
man	Use deterministic date for man pages	2017-09-02 09:27:11 +02:00
Design.md	…
Makefile	…
conf.py	…
design.rst	doc/design: fix keys.data MAC format description	2017-08-29 00:22:11 +02:00
development.rst	…
faq.rst	…
index.rst	…
installation.rst	Fixed word-o. ("Package", not "packet".)	2017-08-31 13:34:53 -07:00
manual.rst	Update manual.rst	2017-08-31 18:26:04 +02:00
references.rst	…
requirements.txt	…
rest_backend.rst	…
talks.rst	…
test_irreducibility.gap	…
tutorial_aws_s3.rst	…
tutorials.rst	…