factor/basis/ui/backend/gtk
Philipp Brüschweiler 23f6201e65 ui.backend.gtk: use png instead of ico to represent icons 2010-07-22 22:48:18 +02:00
..
authors.txt ui.backend.gtk: change authors list 2010-06-13 16:53:24 +06:00
gtk.factor ui.backend.gtk: use png instead of ico to represent icons 2010-07-22 22:48:18 +02:00
icon.png ui.backend.gtk: use png instead of ico to represent icons 2010-07-22 22:48:18 +02:00