summaryrefslogtreecommitdiff
path: root/texmf-dist/web2c
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2017-05-01 17:44:46 +0900
committerNorbert Preining <norbert@preining.info>2017-05-01 17:44:46 +0900
commite04c55997e7302fb07c06c9020024d1f0b11c000 (patch)
tree5e21884e60323b5103a09aea61c10028af06921e /texmf-dist/web2c
parent31fa00d451306e6a9bcaf14a953dbb88ff30c507 (diff)
make sure we have texmf-dist/web2c
Diffstat (limited to 'texmf-dist/web2c')
-rw-r--r--texmf-dist/web2c/.dont-delete-this-dir0
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