Mercurial Mercurial > repos > isabelle / file revision
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

build.xml.data.CRC32=d2379ac2
build.xml.script.CRC32=2db9d955
build.xml.stylesheet.CRC32=ca9d572e
# 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=87cef431
nbproject/build-impl.xml.stylesheet.CRC32=371897b9
isabelle