From f7e40489c0bf57f6f4a14ef8d426b45d7103de0f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 14 Jun 2006 14:14:11 +0000 Subject: [PATCH 1/1] relocation of developments.png --- helm/software/matita/help/C/sec_gettingstarted.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/help/C/sec_gettingstarted.xml b/helm/software/matita/help/C/sec_gettingstarted.xml index b067e21ec..b9a9c34d9 100644 --- a/helm/software/matita/help/C/sec_gettingstarted.xml +++ b/helm/software/matita/help/C/sec_gettingstarted.xml @@ -110,7 +110,7 @@
The Developments window - + Screenshot of the Developments window. -- 2.39.2