jvanzyl 2002/07/11 20:41:36 Removed: src/plugins/java plugin.properties Log: o Part one of getting rid of the special handling of the 'java' plugin.
-- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
