Merge branch 'staged'
[dports.git] / editors / drjava /
2022-11-08 DPorts BuilderMerge branch 'staged'
2022-10-14 DPorts BuilderTweak editors/drjava version 20140826.r5761_1
2021-05-10 Charlie RootTweak editors/drjava version 20140826.r5761_1
2019-12-28 DPorts BuilderMerge branch 'staged'
2019-12-07 DPorts BuilderUpdate editors/drjava to version 20140826.r5761_1
2016-06-01 DPorts BuilderTweak editors/drjava version 20140826.r5761
2015-10-01 DPorts BuilderUpdate editors/drjava to version 20140826.r5761
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