From 9d13e8cffc78ca67acebd258f654ecf6d8ca2164 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 19 Jul 2005 14:00:58 +0000 Subject: [PATCH] A tab converted to spaces as it should be. --- helm/matita/matita.ma.templ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/matita/matita.ma.templ b/helm/matita/matita.ma.templ index 6852ad0c9..3053fbd70 100644 --- a/helm/matita/matita.ma.templ +++ b/helm/matita/matita.ma.templ @@ -1,5 +1,5 @@ (**************************************************************************) -(* ___ *) +(* ___ *) (* ||M|| *) (* ||A|| A project by Andrea Asperti *) (* ||T|| *) -- 2.39.2