webmcp
diff libraries/luatex/luatex.lua @ 428:52ebde158c92
Fixed minor glitch regarding floating point numbers (e.g. 0.009) in JSON encoder; Distinguish between integers and floats in JSON encoder if Lua version >= 5.3
author | jbe |
---|---|
date | Thu Jan 14 17:40:49 2016 +0100 (2016-01-14) |
parents | 3d43a5cf17c1 |
children |
line diff