summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--[-rwxr-xr-x]Build/source/texk/kpathsea/mktex.opt0
1 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/mktex.opt b/Build/source/texk/kpathsea/mktex.opt
index 58854e3f17e..58854e3f17e 100755..100644
--- a/Build/source/texk/kpathsea/mktex.opt
+++ b/Build/source/texk/kpathsea/mktex.opt