From 0a331eb559f571081a3f78df13b5c75b25595ead Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Fri, 30 Sep 2011 16:04:43 +0000 Subject: [PATCH] Matitaweb: Library test. --- weblib/flagtest/prova.ma | 1 + 1 file changed, 1 insertion(+) create mode 100644 weblib/flagtest/prova.ma 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 -- 2.39.2