2019-06-26 | Chengsong | delete data unnecessary | file | diff | annotate |
2019-06-26 | Chengsong | now correct | file | diff | annotate |
2019-06-25 | Christian Urban | deleted data-files and further unnecessary parts in data.sty | file | diff | annotate |
2019-06-25 | Chengsong | hi | file | diff | annotate |