Menu
▾
▴
[ jEdit-devel ] jEdit Community plugins
|
From: mike d. <md...@je...> - 2002-01-31 02:36:44
|
Hey- If any of the plugins currently on jEdit Community should go to Plugin Central in the next batch, could somebody please make sure the CVS is up-to-date and give me a CVS tag and a list of changes? I'd like to release by tomorrow evening, if possible, as my queue is already getting a little big, even without releasing anything from jEdit Community. -md |