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