log gui/ui/gtk/preferences.h @ 33689:8d0290220239

age author description
Sun, 19 Jun 2011 15:34:08 +0000 ib Rename some gtk files.