gedit r5725 - in trunk: . plugins/externaltools/tools
- From: pborelli svn gnome org
- To: svn-commits-list gnome org
- Subject: gedit r5725 - in trunk: . plugins/externaltools/tools
- Date: Wed, 18 Jul 2007 14:49:36 +0100 (BST)
Author: pborelli
Date: 2007-07-18 14:49:34 +0100 (Wed, 18 Jul 2007)
New Revision: 5725
ViewCVS link: http://svn.gnome.org/viewcvs/gedit?rev=5725&view=rev
Modified:
trunk/ChangeLog
trunk/plugins/externaltools/tools/manager.py
Log:
2007-07-18 Paolo Borelli <pborelli katamail com>
* plugins/externaltools/tools/manager.py: fix typo that
prevernted to properly save the selected output target.
Patch by Alexandre Mazari, fixes bug #454368.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]