Jochen Topf
fb2c14128c
Clean up lua includes
...
There was a bit of a mess of different (types of) includes. We now only
use '#include <lua.hpp>' which includes all Lua C headers correctly and
also works for LuaJIT.
Technically it might include more than we need in some cases, because
lua.hpp includes several C headers some of which are only needed
sometimes, but the largest one (lua.h) is the one we always need, the
others are tiny.
2023-06-30 16:06:40 +02:00
..
2023-06-21 15:14:19 +02:00
2023-06-20 23:23:41 +02:00
2022-08-10 15:07:55 +02:00
2021-12-14 15:10:47 +01:00
2023-01-15 16:13:42 +01:00
2023-06-29 20:09:18 +02:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2019-11-15 21:52:42 +01:00
2019-11-16 10:31:22 +01:00
2022-06-07 16:11:18 +02:00
2023-01-15 16:13:42 +01:00
2023-05-14 11:09:54 +02:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-02-08 14:40:02 +01:00
2023-02-08 14:40:02 +01:00
2023-06-30 16:06:40 +02:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-16 20:36:07 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-16 20:36:07 +01:00
2023-02-24 10:47:15 +01:00
2023-01-26 11:43:00 +01:00
2023-01-16 20:36:07 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-06-30 16:06:40 +02:00
2023-06-27 11:49:47 +02:00
2023-05-14 10:43:17 +02:00
2023-01-15 16:13:42 +01:00
2023-06-28 16:19:46 +02:00
2023-06-28 16:19:46 +02:00
2023-01-15 16:13:42 +01:00
2023-01-17 09:43:13 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-06-27 11:49:47 +02:00
2023-01-15 16:13:42 +01:00
2023-05-14 09:27:44 +02:00
2023-02-27 21:45:57 +01:00
2023-06-15 16:21:11 +02:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00
2023-02-27 10:13:29 +01:00
2023-01-16 20:36:07 +01:00
2023-01-15 16:13:42 +01:00
2023-01-15 16:13:42 +01:00