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