diff options
author | Norbert Preining <norbert@preining.info> | 2019-12-06 03:01:49 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-12-06 03:01:49 +0000 |
commit | ac57c892e88b77eb217641d4a1059da681320633 (patch) | |
tree | b874066a34c995a8b4db98062bbadc62347060a5 /.gitignore | |
parent | 2905ee4c8de47cfdeea4787e465eb827f9b99e8b (diff) |
CTAN sync 201912060301
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions