From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Fri, 30 Sep 2011 16:04:43 +0000 (+0000)
Subject: Matitaweb: Library test.
X-Git-Tag: make_still_working~2258
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0a331eb559f571081a3f78df13b5c75b25595ead;p=helm.git

Matitaweb: Library test.
---

diff --git a/weblib/flagtest/prova.ma b/weblib/flagtest/prova.ma
new file mode 100644
index 000000000..64490b74c
--- /dev/null
+++ b/weblib/flagtest/prova.ma
@@ -0,0 +1 @@
+(* script *)
\ No newline at end of file