non port: java/jdk/distinfo |
Number of commits found: 1 |
Wednesday, 12 Jun 2002
|
20:50 znerd
Unification of JDK port names.
ports/java/Makefile
Matches new names and locations of JDK ports. Checked sorting.
ports/java/jdk
All files removed from CVS. This port is moved to java/jdk11.
Checked that the repocopy was okay.
ports/java/jdk12-beta
All files removed from CVS. This port is moved to java/jdk12.
Checked that the repocopy was okay.
ports/java/linux-jdk
All files removed from CVS. This port is moved to (Only the first 15 lines of the commit message are shown above )
 |
Number of commits found: 1 |