1. 2000-08-09 [ jEdit-CVS ] CVS update: CVSROOT /tmp/cvs-serv29605/ jedit-cvs CVS Development 2. 2000-08-09 Re: [ jEdit-CVS ] CVS update: plugins/PluginHolder jedit-cvs Slava Pestov 3. 2000-08-09 [ jEdit-CVS ] CVS update: plugins/PluginHolder /tmp/c jedit-cvs CVS Development 4. 2000-08-09 [ jEdit-CVS ] CVS update: plugins/PluginHolder /tmp/c jedit-cvs CVS Development 5. 2000-08-09 [ jEdit-CVS ] CVS update: plugins/PluginHolder /tmp/c jedit-cvs CVS Development 6. 2000-08-09 [ jEdit-CVS ] CVS update: CVSROOT /tmp/cvs-serv16057/ jedit-cvs CVS Development 7. 2000-08-09 [ jEdit-CVS ] CVS update: plugins/PluginHolder /tmp/c jedit-cvs CVS Development 8. 2000-08-09 [ jEdit-CVS ] CVS update: plugins/PluginHolder /tmp/c jedit-cvs CVS Development