diff options
author | Norbert Preining <norbert@preining.info> | 2017-05-01 17:44:46 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2017-05-01 17:44:46 +0900 |
commit | e04c55997e7302fb07c06c9020024d1f0b11c000 (patch) | |
tree | 5e21884e60323b5103a09aea61c10028af06921e /texmf-dist/web2c | |
parent | 31fa00d451306e6a9bcaf14a953dbb88ff30c507 (diff) |
make sure we have texmf-dist/web2c
Diffstat (limited to 'texmf-dist/web2c')
-rw-r--r-- | texmf-dist/web2c/.dont-delete-this-dir | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/texmf-dist/web2c/.dont-delete-this-dir b/texmf-dist/web2c/.dont-delete-this-dir new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/texmf-dist/web2c/.dont-delete-this-dir |