From: Enrico Tassi Date: Fri, 28 Nov 2008 12:18:09 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4482 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d31a2b9451385949f59fc15421c790a30ba90c24;p=helm.git ... --- diff --git a/helm/software/matita/help/C/figures/vbox2.png b/helm/software/matita/help/C/figures/vbox2.png index daf0c94a5..0f34a9501 100644 Binary files a/helm/software/matita/help/C/figures/vbox2.png and b/helm/software/matita/help/C/figures/vbox2.png differ