mirror of
https://git.freebsd.org/ports.git
synced 2025-05-25 07:26:29 -04:00
JDK_HOME will have to be set by hand (or use the -jdkhome switch). Submitted by: Khairil Yusof <kaeru@pd.jaring.my> |
||
---|---|---|
.. | ||
patch-bin_runide.sh |