diff options
Diffstat (limited to 'Master/texmf-dist/scripts/mflua/print_path.lua')
-rw-r--r-- | Master/texmf-dist/scripts/mflua/print_path.lua | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/mflua/print_path.lua b/Master/texmf-dist/scripts/mflua/print_path.lua deleted file mode 100644 index 1733bc9d2cd..00000000000 --- a/Master/texmf-dist/scripts/mflua/print_path.lua +++ /dev/null @@ -1 +0,0 @@ -function print_path(h,s,nuline) return 0 end
\ No newline at end of file |