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

Impressum / About Us