gedit r5681 - in trunk: . plugins/externaltools/tools

From: pborelli svn gnome org
To: svn-commits-list gnome org
Subject: gedit r5681 - in trunk: . plugins/externaltools/tools
Date: Tue, 3 Jul 2007 09:47:16 +0100 (BST)

Author: pborelli
Date: 2007-07-03 09:47:15 +0100 (Tue, 03 Jul 2007)
New Revision: 5681
ViewCVS link: http://svn.gnome.org/viewcvs/gedit?rev=5681&view=rev

Modified:
   trunk/ChangeLog
   trunk/plugins/externaltools/tools/functions.py
   trunk/plugins/externaltools/tools/manager.py
Log:
2007-07-03  Paolo Borelli  <pborelli katamail com>

	* plugins/externaltools/tools/functions.py:
	* plugins/externaltools/tools/manager.py:
	
	Fix a couple of problems in latest patch.

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]