From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Mon, 3 Oct 2011 13:50:23 +0000 (+0000)
Subject: Matitaweb: test commit.
X-Git-Tag: make_still_working~2241
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=31da6e726f031b4c099833ab85b2ea542c266ee2;p=helm.git

Matitaweb: test commit.
---

diff --git a/weblib/basics/prova.txt b/weblib/basics/prova.txt
deleted file mode 100644
index 617807982..000000000
--- a/weblib/basics/prova.txt
+++ /dev/null
@@ -1 +0,0 @@
-b
diff --git a/weblib/basics/prova2.txt b/weblib/basics/prova2.txt
deleted file mode 100644
index f2ad6c76f..000000000
--- a/weblib/basics/prova2.txt
+++ /dev/null
@@ -1 +0,0 @@
-c