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 |
Tue, 25 Jun 2019 22:43:21 +0100 | Christian Urban | deleted data-files and further unnecessary parts in data.sty | changeset | files |