1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-07-02 16:38:41 +00:00

Update embedded Lua to 5.1.5 (#7387)

This commit is contained in:
sfan5 2018-05-30 16:30:44 +02:00 committed by Loïc Blot
parent e3e98f9356
commit ddd03c38a4
14 changed files with 36 additions and 33 deletions

View file

@ -9,7 +9,7 @@ For details and rationale, see http://www.lua.org/license.html .
===============================================================================
Copyright (C) 1994-2008 Lua.org, PUC-Rio.
Copyright (C) 1994-2012 Lua.org, PUC-Rio.
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal