Daniele Bartolini ddd3df10cc tools: get rid of .ui files 1 jaar geleden
..
gtk 655b43669d tools: rename 'Close' to 'Close Project' 1 jaar geleden
icons 1747f307d9 tools: add missing icon 2 jaren geleden
theme 1b1a6d10d1 tools: update GTK theme 2 jaren geleden
ui ddd3df10cc tools: get rid of .ui files 1 jaar geleden
generate-resources.sh a5507825fc tools: avoid cluttering core CSSes 2 jaren geleden
resources.gresource.xml ddd3df10cc tools: get rid of .ui files 1 jaar geleden