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
Sat, 10 Jan 2009 17:33:21 +0100
changeset 34461 2dd8ced4f2ae
parent 34381 a94d2fb96fd5
child 34536 f0df6a866aa7
permissions -rw-r--r--
create folder 'jars' before copying
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
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34380
diff changeset 
     7
 
nbproject/build-impl.xml.script.CRC32=828f71d1
34380
b74b5e0ff66a updated version of nbproject, as produced by build in Netbeans 6.5;
wenzelm
parents: 34320
diff changeset 
     8
 
nbproject/build-impl.xml.stylesheet.CRC32=2aa5193a
isabelle