more cleanups for ctan

This commit is contained in:
Marc Wäckerlin
2018-08-15 23:21:17 +02:00
parent 73d0ec06b0
commit deeec7c8b2
11 changed files with 33 additions and 12 deletions

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.