diff options
author | Karl Berry <karl@freefriends.org> | 2017-04-20 21:12:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-04-20 21:12:20 +0000 |
commit | 3b80009442d381e279ef198763ebf595b61496d9 (patch) | |
tree | 004479b2e2d2ee37f016dc3a44bdaf462d863a17 | |
parent | 99ba7f1a29ed6c053e1cbf62446e57e2decd6ce6 (diff) |
not exec, emptydirs
git-svn-id: svn://tug.org/texlive/trunk@43947 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--[-rwxr-xr-x] | Master/texmf-dist/metafont/mflua/mflua.ini | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | Master/texmf-dist/metafont/mflua/mfluajit.ini | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | Master/texmf-dist/metafont/mflua/mfluamodes.mf | 0 | ||||
-rw-r--r--[-rwxr-xr-x] | Master/texmf-dist/metafont/mflua/mfluaplain.mf | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/metafont/mflua/mflua.ini b/Master/texmf-dist/metafont/mflua/mflua.ini index 08a003235a3..08a003235a3 100755..100644 --- a/Master/texmf-dist/metafont/mflua/mflua.ini +++ b/Master/texmf-dist/metafont/mflua/mflua.ini diff --git a/Master/texmf-dist/metafont/mflua/mfluajit.ini b/Master/texmf-dist/metafont/mflua/mfluajit.ini index 670d28533ec..670d28533ec 100755..100644 --- a/Master/texmf-dist/metafont/mflua/mfluajit.ini +++ b/Master/texmf-dist/metafont/mflua/mfluajit.ini diff --git a/Master/texmf-dist/metafont/mflua/mfluamodes.mf b/Master/texmf-dist/metafont/mflua/mfluamodes.mf index badaabaf86a..badaabaf86a 100755..100644 --- a/Master/texmf-dist/metafont/mflua/mfluamodes.mf +++ b/Master/texmf-dist/metafont/mflua/mfluamodes.mf diff --git a/Master/texmf-dist/metafont/mflua/mfluaplain.mf b/Master/texmf-dist/metafont/mflua/mfluaplain.mf index 61ae30389af..61ae30389af 100755..100644 --- a/Master/texmf-dist/metafont/mflua/mfluaplain.mf +++ b/Master/texmf-dist/metafont/mflua/mfluaplain.mf |