-
Paolo Maggi authored
2007-08-16 Paolo Maggi <paolo@gnome.org> * gedit/gedit-ui.h: Use new document-page-setup icon. Fixes bug #450946. Patch by Michael Monreal <infernux@web.de> svn path=/trunk/; revision=5827
e15010b6
2007-08-16 Paolo Maggi <paolo@gnome.org> * gedit/gedit-ui.h: Use new document-page-setup icon. Fixes bug #450946. Patch by Michael Monreal <infernux@web.de> svn path=/trunk/; revision=5827