diff options
Diffstat (limited to 'ui/win32/settings.ini')
| -rw-r--r-- | ui/win32/settings.ini | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ui/win32/settings.ini b/ui/win32/settings.ini index 073ebb62ed..af41c6f7e5 100644 --- a/ui/win32/settings.ini +++ b/ui/win32/settings.ini @@ -1,4 +1,3 @@ -# $Id$ [Settings] gtk-toolbar-icon-size=GTK_ICON_SIZE_SMALL_TOOLBAR # disable images in buttons. |