|
|
6a95f6deb5
|
eris: get rid of hooks for luai_writestring.
|
2021-10-21 13:49:28 -04:00 |
|
|
|
924a5ec987
|
eris: require external definition of luai_writestring
|
2021-09-07 14:56:42 -04:00 |
|
|
|
fa23ad87c7
|
eris: change the default number format to %.16g
|
2021-03-18 12:07:16 -04:00 |
|
|
|
51d41d11bb
|
Install eris-master into tree
|
2021-02-28 13:24:47 -05:00 |
|
