Tweak editors/drjava version 20100913.r5387
authorAutomaton IAS <nobody@home.ok>
Tue, 1 Jan 2013 10:46:33 +0000 (11:46 +0100)
committerAutomaton IAS <nobody@home.ok>
Tue, 1 Jan 2013 10:46:33 +0000 (11:46 +0100)
commitf59997418469fe690abf53ec8a97f2506e889557
tree5cd1aea59ea455a508cad68be774487513b99611
parent155b4591a3f06e32065b2ca3e464cd80a617c8b3
Tweak editors/drjava version 20100913.r5387
editors/drjava/Makefile