Merge branch 'dev' into rt-cli

This commit is contained in:
Hombre
2017-02-14 00:15:23 +01:00
100 changed files with 4953 additions and 1521 deletions

View File

@@ -345,7 +345,6 @@ extern Glib::ustring argv0;
extern Glib::ustring argv1;
extern bool simpleEditor;
extern Glib::ustring versionString;
extern Glib::ustring versionSuffixString;
extern Glib::ustring paramFileExtension;
#endif