merge with dev

2019-09-06 10:56:03 +02:00
parent dfc4715a82 1eb4aac404
commit 202fb8084d
9 changed files with 31 additions and 23 deletions
--- a/rtgui/options.h
+++ b/rtgui/options.h
@@ -427,6 +427,7 @@ public:
    Glib::ustring findProfilePath (Glib::ustring &profName);
    bool is_parse_extention (Glib::ustring fname);
    bool has_retained_extention (const Glib::ustring& fname);
+    bool is_new_version();
    bool is_extention_enabled (const Glib::ustring& ext);
    bool is_defProfRawMissing();
    bool is_bundledDefProfRawMissing();