1
This package embeeds lua-eris ( https://github.com/fnuecke/eris ), a
2
fork of Lua 5.3 for better data persistance. It replaces and provides
3
the classical lua interpreter.
5
This library should be packaged separately, but widelands already
6
changed its lua version several times in the past, and this perticular
7
version does not seem to be widely used. I would prefer to see some
8
real interest from other communities before separating lua-eris.
11
-- Martin Quinson, November 2016.
b'\\ No newline at end of file'