index
:
ports
2014Q1
2014Q2
2014Q3
2014Q4
2015Q1
2015Q2
2015Q3
2015Q4
2016Q1
2016Q2
2016Q3
2016Q4
2017Q1
2017Q2
2017Q3
2017Q4
2018Q1
2018Q2
2018Q3
2018Q4
2019Q1
2019Q2
2019Q3
2019Q4
2020Q1
2020Q2
2020Q3
2020Q4
2021Q1
2021Q2
2021Q3
2021Q4
2022Q1
2022Q2
2022Q3
2022Q4
2023Q1
2023Q2
2023Q3
2023Q4
2024Q1
2024Q2
main
FreeBSD ports tree
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
editors
/
drjava
Commit message (
Expand
)
Author
Age
Files
Lines
*
Cleanup plist
Baptiste Daroussin
2014-10-27
1
-1
/
+0
*
Stagify.
Vanilla I. Shu
2014-06-14
1
-4
/
+3
*
Remove indefinite articles and trailing periods from COMMENT, plus
Jimmy Olgeni
2014-06-10
1
-1
/
+1
*
Fix properties on pkg-plist
Baptiste Daroussin
2014-01-21
1
-1
/
+0
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
Baptiste Daroussin
2013-09-20
1
-0
/
+1
*
Decommissioning java 1.5 (EOLed since October 2009):
Baptiste Daroussin
2012-12-10
1
-6
/
+2
*
Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,
Mark Linimon
2011-07-21
1
-1
/
+1
*
- Get Rid MD5 support
Martin Wilke
2011-03-20
1
-1
/
+0
*
- Update to 20100913.r5387
Nicola Vitale
2010-09-15
2
-6
/
+6
*
- Switch SourceForge ports to the new File Release System: categories startin...
Dmitry Marakasov
2009-08-22
1
-2
/
+1
*
- Update to 20080904.r4668
Nicola Vitale
2008-10-07
2
-5
/
+4
*
Bump portrevision due to upgrade of devel/gettext.
Edwin Groothuis
2008-06-06
1
-0
/
+1
*
- Update to 20080106.0744
Nicola Vitale
2008-01-25
2
-4
/
+4
*
- Update to 20070828.1759
Nicola Vitale
2007-12-22
2
-5
/
+5
*
- Welcome X.org 7.2 \o/.
Florent Thoumie
2007-05-19
1
-0
/
+1
*
- Updated to 20070130.2255
Nicola Vitale
2007-02-02
2
-5
/
+5
*
- Updated email address in my ports
Nicola Vitale
2006-12-10
1
-1
/
+1
*
- Update to 20061025.1556
Rong-En Fan
2006-11-08
4
-9
/
+10
*
- Update to 20060918.1737
Rong-En Fan
2006-09-23
3
-5
/
+5
*
DrJava is a lightweight development environment for writing Java programs.
Ion-Mihai Tetcu
2006-07-01
5
-0
/
+55