| changeset 34331 | 2cb3369f0634 |
| parent 34328 | be2e9e6726af |
| child 34352 | 74ddfd2cf5a5 |
--- a/src/Tools/jEdit/nbproject/project.properties Tue Oct 21 16:21:13 2008 +0200 +++ b/src/Tools/jEdit/nbproject/project.properties Tue Oct 21 17:32:23 2008 +0200 @@ -1,6 +1,6 @@ application.title=Isabelle-jEdit application.vendor=makarius -application.args=-noserver -nobackground -nosettings +application.args=-noserver -nobackground build.classes.dir=${build.dir}/classes build.classes.excludes=**/*.java,**/*.form,**/*.scala # This directory is removed when the project is cleaned: