]> git.jsancho.org Git - lugaru.git/blobdiff - Source/Settings.h
Mention devtools option in man page
[lugaru.git] / Source / Settings.h
index 942d163fced3521d464e413218c64ae8dd99b4f1..ac14df3dad43389d7c4e338b83b72640ef9562ed 100644 (file)
@@ -40,7 +40,7 @@ extern float oldgamespeed;
 extern int difficulty;
 extern bool damageeffects;
 extern bool texttoggle;
-extern bool debugmode;
+extern bool devtools;
 extern bool showpoints;
 extern bool showdamagebar;
 extern bool alwaysblur;