Wed, 26 Jun 2019 12:44:08 +0100 | Chengsong | added stackexchange url and contact details | changeset | files |
Tue, 25 Jun 2019 23:59:10 +0100 | Christian Urban | another superflous file | changeset | files |
Tue, 25 Jun 2019 23:38:02 +0100 | Christian Urban | deleted further generated files (including pdf) | changeset | files |