remove_theme removes now also styles from layouts and sets GTK_BUTTON instead
tree5a9bf9310c3270e50327efd07eab99269a85d81f
-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