diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/luasocket/etc/eol.lua')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/luasocket/etc/eol.lua | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Build/source/texk/web2c/luatexdir/luasocket/etc/eol.lua b/Build/source/texk/web2c/luatexdir/luasocket/etc/eol.lua deleted file mode 100644 index eeaf0ce0327..00000000000 --- a/Build/source/texk/web2c/luatexdir/luasocket/etc/eol.lua +++ /dev/null @@ -1,13 +0,0 @@ ------------------------------------------------------------------------------ --- Little program to adjust end of line markers. --- LuaSocket sample files --- Author: Diego Nehab ------------------------------------------------------------------------------ -local mime = require("mime") -local ltn12 = require("ltn12") -local marker = '\n' -if arg and arg[1] == '-d' then marker = '\r\n' end -local filter = mime.normalize(marker) -local source = ltn12.source.chain(ltn12.source.file(io.stdin), filter) -local sink = ltn12.sink.file(io.stdout) -ltn12.pump.all(source, sink) |