diff options
| author | ShadowNinja <shadowninja@minetest.net> | 2017-04-25 13:38:08 -0400 |
|---|---|---|
| committer | ShadowNinja <shadowninja@minetest.net> | 2017-04-25 13:41:36 -0400 |
| commit | 2818d3f2244d2146a5cdb61cd41f6561c514f97c (patch) | |
| tree | fa4babb953cd7a017f60a7413c3c90b655415a40 /src/guiFormSpecMenu.cpp | |
| parent | db17225a976e20c6628afe70dd6b230673287b4d (diff) | |
| download | minetest-2818d3f2244d2146a5cdb61cd41f6561c514f97c.tar.gz minetest-2818d3f2244d2146a5cdb61cd41f6561c514f97c.tar.bz2 minetest-2818d3f2244d2146a5cdb61cd41f6561c514f97c.zip | |
Rename Scripting API files for consistency
Diffstat (limited to 'src/guiFormSpecMenu.cpp')
| -rw-r--r-- | src/guiFormSpecMenu.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/guiFormSpecMenu.cpp b/src/guiFormSpecMenu.cpp index 5861e9a81..14d576f8f 100644 --- a/src/guiFormSpecMenu.cpp +++ b/src/guiFormSpecMenu.cpp @@ -42,7 +42,7 @@ with this program; if not, write to the Free Software Foundation, Inc., #include "filesys.h" #include "gettime.h" #include "gettext.h" -#include "serverscripting.h" +#include "scripting_server.h" #include "porting.h" #include "settings.h" #include "client.h" |