diff options
author | Robin Gareus <robin@gareus.org> | 2016-07-18 13:11:18 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-07-18 13:11:18 +0200 |
commit | 855618eb5fffe4d418c23816b226142fb7a8080f (patch) | |
tree | b94a3dd70a12f662ba000fc904db301908022abb /libs/lua | |
parent | c5fb7e1d833b7fd4abf69d65981436abb480eee0 (diff) |
amend previous commit (forgotten checkin)
Diffstat (limited to 'libs/lua')
-rw-r--r-- | libs/lua/lua/lua.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/lua/lua/lua.h b/libs/lua/lua/lua.h index ad25233691..3e9a88551e 100644 --- a/libs/lua/lua/lua.h +++ b/libs/lua/lua/lua.h @@ -1,6 +1,6 @@ #ifndef LUA_LIBRARY_H #define LUA_LIBRARY_H -#include "lua-5.3.2/lua.hpp" +#include "lua-5.3.3/lua.hpp" #endif |