# HG changeset patch
# User wenzelm
# Date 1215015190 -7200
# Node ID 2d16f20adb4d6a48b2bc1820cd70d8232d9c0afc
# Parent  38ccd5aaa35399226a87461fd54d7133a8b7c10f
exclude Distribution/bin/Isabelle;

diff -r 38ccd5aaa353 -r 2d16f20adb4d Admin/Mercurial/filemap
--- a/Admin/Mercurial/filemap	Wed Jul 02 16:40:20 2008 +0200
+++ b/Admin/Mercurial/filemap	Wed Jul 02 18:13:10 2008 +0200
@@ -1,3 +1,4 @@
+exclude Distribution/bin/Isabelle
 rename Distribution .
 rename CCL src/CCL
 rename CTT src/CTT