mirror of
https://github.com/php/php-src.git
synced 2025-08-20 01:14:28 +02:00
update java ui
This commit is contained in:
parent
76bb4bbe00
commit
c56a25b50a
6 changed files with 107 additions and 63 deletions
|
|
@ -31,7 +31,8 @@ endorsed.classpath=
|
|||
excludes=
|
||||
includes=**
|
||||
jar.compress=false
|
||||
javac.classpath=
|
||||
javac.classpath=\
|
||||
${libs.eclipselink.classpath}
|
||||
# Space-separated list of extra javac options
|
||||
javac.compilerargs=
|
||||
javac.deprecation=false
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue