theme-buttons are not required in ThemeManagerDlg
treec41f99561155f1aedcc617e5fa125c75962aa896
-rw-r--r-- 310 .gitignore
drwxr-xr-x - backend
drwxr-xr-x - database
drwxr-xr-x - irreco-metapack
drwxr-xr-x - irreco
drwxr-xr-x - irtrans
drwxr-xr-x - script
drwxr-xr-x - themes