Merge branch 'dev' into rt-cli

2017-03-18 18:17:45 +01:00
parent 97caf21b5c 56477d4105
commit c654785ae3
156 changed files with 7335 additions and 1876 deletions
--- a/rtgui/main.cc
+++ b/rtgui/main.cc
@@ -38,6 +38,7 @@
 #include "rtimage.h"
 #include "version.h"
 #include "extprog.h"
+#include "dynamicprofile.h"

 #ifndef WIN32
 #include <glibmm/fileutils.h>