log gui/ui/gtk/preferences.h @ 34478:8e09f1cb3ecd

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