src/Tools/jEdit/nbproject/project.properties
changeset 34758 710e3a9a4c95
parent 34745 83b553bd3fa3
child 34761 0ad6d8372f9d
     1.1 --- a/src/Tools/jEdit/nbproject/project.properties	Tue Dec 08 12:10:55 2009 +0100
     1.2 +++ b/src/Tools/jEdit/nbproject/project.properties	Tue Dec 08 14:29:29 2009 +0100
     1.3 @@ -30,7 +30,6 @@
     1.4  jar.compress=false
     1.5  java.platform.active=java_default_platform
     1.6  javac.classpath=\
     1.7 -    ${libs.Flying-Saucer.classpath}:\
     1.8      ${reference.jEdit.build}:\
     1.9      ${libs.Isabelle-Pure.classpath}:\
    1.10      ${libs.Sidekick.classpath}:\