better images

[helm.git] / helm / software / matita / help / C / figures / vbox2.png

diff --git a/helm/software/matita/help/C/figures/vbox2.png b/helm/software/matita/help/C/figures/vbox2.png
index 0f34a950156bca0a5f44e441d098beafa083ab75..8d2182f5ca42ad229c131b0bd30ba49a97322be3 100644 (file)
Binary files a/helm/software/matita/help/C/figures/vbox2.png and b/helm/software/matita/help/C/figures/vbox2.png differ