Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/nbproject/genfiles.properties
author immler@in.tum.de
Thu, 19 Mar 2009 13:15:27 +0100
changeset 34536 f0df6a866aa7
parent 34381 a94d2fb96fd5
child 34604 f13d4df95b00
permissions -rw-r--r--
probably setup from new Scala Plugin 0.15.1 for NetBeans
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     1
 
build.xml.data.CRC32=d2379ac2
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     2
 
build.xml.script.CRC32=2db9d955
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     3
 
build.xml.stylesheet.CRC32=ca9d572e
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     4
 
# This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml.
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     5
 
# Do not edit this file. You may delete it but then the IDE will never regenerate such files for you.
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34380
diff changeset 
     6
 
nbproject/build-impl.xml.data.CRC32=8f41dcce
34536
f0df6a866aa7 probably setup from new Scala Plugin 0.15.1 for NetBeans
immler@in.tum.de
parents: 34381
diff changeset 
     7
 
nbproject/build-impl.xml.script.CRC32=87cef431
f0df6a866aa7 probably setup from new Scala Plugin 0.15.1 for NetBeans
immler@in.tum.de
parents: 34381
diff changeset 
     8
 
nbproject/build-impl.xml.stylesheet.CRC32=371897b9
isabelle