mirror of
https://github.com/php/php-src.git
synced 2026-03-31 20:53:00 +02:00
7 lines
149 B
INI
7 lines
149 B
INI
compile.on.save=true
|
|
do.depend=false
|
|
do.jar=true
|
|
javac.debug=true
|
|
javadoc.preview=true
|
|
user.properties.file=/home/joe/.netbeans/7.4/build.properties
|