Commit Graph

6 Commits

Author SHA1 Message Date
671ac3ce07 Strip useless headers from script 2019-02-11 03:03:53 +01:00
4ca70b0ba4 02: Some typeset fixes 2019-02-01 01:47:54 +01:00
63893f7327 02: Final touches 2018-10-08 14:36:23 +02:00
95e8aeab1e 02: QC feedback 2018-10-08 02:04:19 +02:00
2e3a12d103 02: Typeset fixes and a new sign 2018-09-19 04:33:05 +02:00
bcf3090c07 Rename folders to include leading zeros 2018-09-18 02:04:05 +02:00