From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 30 Sep 2010 11:29:19 +0000 (+0000)
Subject: test to see if svn cp worked as expected
X-Git-Tag: make_still_working~2816
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=34831dece58f5c4dccda8e727172a03b6429b24d;p=helm.git

test to see if svn cp worked as expected
---

diff --git a/matita/configure.ac b/matita/configure.ac
index 9fe6c7581..ee8cf52a4 100644
--- a/matita/configure.ac
+++ b/matita/configure.ac
@@ -217,3 +217,4 @@ AC_OUTPUT([
   matita/help/C/version.txt
   Makefile.defs
 ])
+