src/Tools/jEdit/nbproject/project.properties
changeset 34328 be2e9e6726af
parent 34322 12bf97b7fc9d
child 34331 2cb3369f0634
equal deleted inserted replaced
34327:2c0d71323619 34328:be2e9e6726af
     1 application.title=Isabelle-jEdit
     1 application.title=Isabelle-jEdit
     2 application.vendor=makarius
     2 application.vendor=makarius
       
     3 application.args=-noserver -nobackground -nosettings
     3 build.classes.dir=${build.dir}/classes
     4 build.classes.dir=${build.dir}/classes
     4 build.classes.excludes=**/*.java,**/*.form,**/*.scala
     5 build.classes.excludes=**/*.java,**/*.form,**/*.scala
     5 # This directory is removed when the project is cleaned:
     6 # This directory is removed when the project is cleaned:
     6 build.dir=build
     7 build.dir=build
     7 build.generated.dir=${build.dir}/generated
     8 build.generated.dir=${build.dir}/generated