Merge branch 'dev' into newlocallab

This commit is contained in:
Ingo Weyrich
2020-02-07 18:24:50 +01:00
83 changed files with 1676 additions and 1767 deletions

View File

@@ -29,7 +29,7 @@
class RTWindow;
class Splash;
class Preferences :
class Preferences final :
public Gtk::Dialog,
public ProfileStoreListener
{