From: <tho...@us...> - 2009-08-15 16:26:18
|
Revision: 11019 http://gate.svn.sourceforge.net/gate/?rev=11019&view=rev Author: thomas_heitz Date: 2009-08-15 16:26:11 +0000 (Sat, 15 Aug 2009) Log Message: ----------- Plugins manager: add a text field to filter plugins and their resources in the main table. Modified Paths: -------------- gate/trunk/src/gate/gui/PluginManagerUI.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |