diff options
Diffstat (limited to 'macros/latex/contrib/hvextern/script/hvextern-checkfile.lua')
-rw-r--r--[-rwxr-xr-x] | macros/latex/contrib/hvextern/script/hvextern-checkfile.lua | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/macros/latex/contrib/hvextern/script/hvextern-checkfile.lua b/macros/latex/contrib/hvextern/script/hvextern-checkfile.lua index ea163c6a72..ea163c6a72 100755..100644 --- a/macros/latex/contrib/hvextern/script/hvextern-checkfile.lua +++ b/macros/latex/contrib/hvextern/script/hvextern-checkfile.lua |