[ jEdit-devel ] JIndex status

[Matthieu C. <cho...@gm...>]

Hi, I think JIndex plugin is obsolete, I suppose it was replaced by
another plugin to read javadoc, or I'm wrong ?

Matthieu