summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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