Update editors/gedit-plugins to version 3.16.0_1
[dports.git] / editors / drjava /
2014-11-05 DPorts BuilderTweak editors/drjava version 20100913.r5387
2014-06-22 DPorts BuilderTweak editors/drjava version 20100913.r5387
2014-02-12 DPorts BuilderTweak editors/drjava version 20100913.r5387
2014-01-28 DPorts BuilderTweak editors/drjava version 20100913.r5387
2013-10-15 DPorts BuilderTweak editors/drjava version 20100913.r5387
2013-01-01 Automaton IASTweak editors/drjava version 20100913.r5387
2012-12-13 AutomatonImport editors/drjava version 20100913.r5387