diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2016-09-15 08:07:32 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2016-09-15 08:07:32 +0200 |
| commit | 349d46eb1e7f1d13f5d823e818216b5ef1cee566 (patch) | |
| tree | 6c721f136781389e80392c4e5d3c714bb089afb8 /lualibs-lua.lua | |
| parent | 8ee68eedb5cbdf06585f6f37bdc361b69437a25d (diff) | |
| download | lualibs-349d46eb1e7f1d13f5d823e818216b5ef1cee566.tar.gz | |
sync with Context as of 2016-09-15
Diffstat (limited to 'lualibs-lua.lua')
| -rw-r--r-- | lualibs-lua.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lualibs-lua.lua b/lualibs-lua.lua index b90f37e..3571538 100644 --- a/lualibs-lua.lua +++ b/lualibs-lua.lua @@ -198,3 +198,4 @@ if flush then local popen = io.popen if popen then function io.popen (...) flush() return popen (...) end end end + |