David Holland 37317bd135 Disable table striping		2020-02-18 23:39:32 +01:00
.gitignore	Use tags from now on; Switch to firefox and mention AUR update script	2020-02-18 22:03:25 +01:00
Documentation.adoc	Disable table striping	2020-02-18 23:39:32 +01:00
arch.png	Major rework, in order to support continuous updating of the paper version	2020-01-09 20:25:53 +01:00
generate-pdfs.sh	Major rework, in order to support continuous updating of the paper version	2020-01-09 20:25:53 +01:00