wm4 d852ad2ae7 build: pick up Lua 5.2 by default ... Previously: 5.1 > 5.2 > luajit Now: 5.2 > luajit > 5.1 I randomly decided that this should be done, since I suspect most environments will prefer the highest Lua version anyway. There is not much of a point picking the older one by default. Maybe 5.1 should be dropped fully, but considering we need to stay compatible with luajit, there is no particular incentive for this.		2020-02-29 21:49:14 +01:00
..
__init__.py	…
custom.py	build: pick up Lua 5.2 by default	2020-02-29 21:49:14 +01:00
generic.py	*.py: cosmetic changes	2020-02-27 21:36:21 +01:00