mirror of
https://github.com/luanti-org/luanti.git
synced 2025-06-27 16:36:03 +00:00
Rename Scripting API files for consistency
This commit is contained in:
parent
db17225a97
commit
2818d3f224
21 changed files with 20 additions and 20 deletions
|
@ -27,7 +27,7 @@ with this program; if not, write to the Free Software Foundation, Inc.,
|
|||
#include "nodedef.h"
|
||||
#include "player.h"
|
||||
#include "rollback_interface.h"
|
||||
#include "serverscripting.h"
|
||||
#include "scripting_server.h"
|
||||
#include "settings.h"
|
||||
#include "tool.h"
|
||||
#include "version.h"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue