From f1a2aec37db8f0a4da540a027cf91554e27ba88c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 13 Jun 2005 14:54:18 +0000
Subject: [PATCH] renamed

---
 helm/matita/{temperino.lang => matita.lang}                | 0
 helm/matita/tests/interactive/{temperino.ma => grafite.ma} | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename helm/matita/{temperino.lang => matita.lang} (100%)
 rename helm/matita/tests/interactive/{temperino.ma => grafite.ma} (100%)

diff --git a/helm/matita/temperino.lang b/helm/matita/matita.lang
similarity index 100%
rename from helm/matita/temperino.lang
rename to helm/matita/matita.lang
diff --git a/helm/matita/tests/interactive/temperino.ma b/helm/matita/tests/interactive/grafite.ma
similarity index 100%
rename from helm/matita/tests/interactive/temperino.ma
rename to helm/matita/tests/interactive/grafite.ma
-- 
2.39.2