From 9a933efb5e01cf307245c35445ac26be556cfe36 Mon Sep 17 00:00:00 2001
From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Fri, 30 Sep 2011 16:25:59 +0000
Subject: [PATCH] Matitaweb: test commit.

---
 weblib/arithmetics/factorial.ma | 1 -
 1 file changed, 1 deletion(-)

diff --git a/weblib/arithmetics/factorial.ma b/weblib/arithmetics/factorial.ma
index 16a2f52c0..bb74ed7bc 100644
--- a/weblib/arithmetics/factorial.ma
+++ b/weblib/arithmetics/factorial.ma
@@ -194,4 +194,3 @@ intros.elim H
     ]
   ]
 qed. *)
-
-- 
2.39.2