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 wenzelm
Sun, 19 Oct 2008 18:27:30 +0200
changeset 34320 883dc8fc3328
child 34380 b74b5e0ff66a
permissions -rw-r--r--
basic Netbeans project setup;
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.
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     6
 
nbproject/build-impl.xml.data.CRC32=d2379ac2
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     7
 
nbproject/build-impl.xml.script.CRC32=234fa40f
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset 
     8
 
nbproject/build-impl.xml.stylesheet.CRC32=411eee22
isabelle