# HG changeset patch # User immler@in.tum.de # Date 1237464927 -3600 # Node ID f0df6a866aa7f637a5068b35f0c5eb2c208e8793 # Parent 690927d66d8c893c2daba39d43343f16686918ab probably setup from new Scala Plugin 0.15.1 for NetBeans diff -r 690927d66d8c -r f0df6a866aa7 src/Tools/jEdit/nbproject/build-impl.xml --- a/src/Tools/jEdit/nbproject/build-impl.xml Thu Mar 19 13:09:52 2009 +0100 +++ b/src/Tools/jEdit/nbproject/build-impl.xml Thu Mar 19 13:15:27 2009 +0100 @@ -173,6 +173,9 @@ + + + @@ -398,6 +401,7 @@ + diff -r 690927d66d8c -r f0df6a866aa7 src/Tools/jEdit/nbproject/genfiles.properties --- a/src/Tools/jEdit/nbproject/genfiles.properties Thu Mar 19 13:09:52 2009 +0100 +++ b/src/Tools/jEdit/nbproject/genfiles.properties Thu Mar 19 13:15:27 2009 +0100 @@ -4,5 +4,5 @@ # This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml. # Do not edit this file. You may delete it but then the IDE will never regenerate such files for you. nbproject/build-impl.xml.data.CRC32=8f41dcce -nbproject/build-impl.xml.script.CRC32=828f71d1 -nbproject/build-impl.xml.stylesheet.CRC32=2aa5193a +nbproject/build-impl.xml.script.CRC32=87cef431 +nbproject/build-impl.xml.stylesheet.CRC32=371897b9