merge with dev

2017-12-23 10:18:46 +01:00
parent 9713604b12 156cb762ec
commit c1ab9788a5
10 changed files with 73 additions and 98 deletions
--- a/rtgui/paramsedited.h
+++ b/rtgui/paramsedited.h
@@ -397,7 +397,6 @@ public:
    bool htonalwidth;
    bool shadows;
    bool stonalwidth;
-    bool localcontrast;
    bool radius;
 };