From 34831dece58f5c4dccda8e727172a03b6429b24d Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 30 Sep 2010 11:29:19 +0000
Subject: [PATCH] test to see if svn cp worked as expected

---
 matita/configure.ac | 1 +
 1 file changed, 1 insertion(+)

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
 ])
+
-- 
2.39.2