Re: [ jEdit-devel ] CodeAid

[mike d. <md...@st...>]

On Fri, 3 Nov 2000, Slava Pestov wrote:
> Then mike, could you please hide ViewJavadoc and BuildTools (which
> is no longer used by anything) on plugin central?

done.

-md