2 Commits

Author	SHA1	Message	Date
Patrick Decat	21d98294bd	Add gnome-icon-theme as an acceptable dependency for icons	2019-03-26 15:46:14 +01:00
Daniel Pavel	46c0448854	got rid of /opt/extras sillyness in ubuntu packaging	2013-07-12 17:02:17 +02:00