log gui/ui/gtk/preferences.h @ 35267:e057379d9360

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