Jehan 0f67e21c98 themes: rename theme "Default" into "System". ... Since we have many themes now, this new name better indicates that it is meant to follow your desktop theme settings. Also it will likely not remain the default theme.		2016-03-22 16:37:10 +01:00
..
.gitignore
gtkrc
Makefile.am