From 8b7c1699bf9c2d461ae572aac0e5b0e16c1b3dc5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 19 Jul 2007 09:17:32 +0000 Subject: [PATCH] Typo fixed. --- matita/matita.glade | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/matita.glade b/matita/matita.glade index 31ca67c33..e50642a61 100644 --- a/matita/matita.glade +++ b/matita/matita.glade @@ -1161,7 +1161,7 @@ True Displays the graph of coercions - Coericons Graph + Coercions Graph True -- 2.39.2