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

[Dirk M. <dmo...@gm...>]

no...@so... wrote:
> Status: Closed
> Resolution: Invalid
> Comment:
> BuildTools needs to be updated to include an 'EditPlugin' instance with a 'version' property for this to work.

Then, I wouldn't close this bug.

Dirk.