Enno Rehling 2967cd59cf replace pushnumber with pushinteger where applicable (prep for Lua 5.3). ... also kill an unreferenced string.		2015-06-08 20:53:40 +02:00
..
strings.xml	replace pushnumber with pushinteger where applicable (prep for Lua 5.3).	2015-06-08 20:53:40 +02:00