[ jEdit-devel ] [Bug #116228] BuildTools is not updated...

[<no...@so...>]

Bug #116228, was updated on 2000-Oct-06 04:54
Here is a current snapshot of the bug.

Project: jEdit
Category: plugin manager
Status: Open
Resolution: None
Bug Group: minor bug
Priority: 5
Summary: BuildTools is not updated...

Details: on Linux 2.2.16
JDK 1.3  (standard edition)  Sun
JEdit 2.6pre8
BuildTools 0.0.9

When i Update Plugins, JEdit always say me that BuildTools can be updated, if i update it, next time... same thing...

Arnaud

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=116228&group_id=588