-
Paolo Maggi authored
2006-02-12 Paolo Maggi <paolo@gnome.org> * plugins/externaltools/tools/tools.glade: use GTK_SHADOW_IN for the scrolled window in the output panel
1d3f5029
To find the state of this project's repository at the time of any of these versions, check out the tags.