daemons tamed

[helm.git] / helm / matita_homepage / bg.png

diff --git a/helm/matita_homepage/bg.png b/helm/matita_homepage/bg.png
index cca288a9988092c6de85021ea295d3e802626e38..a3d5532d44425934d482d9ca17afc9c921e5f0f2 100644 (file)
Binary files a/helm/matita_homepage/bg.png and b/helm/matita_homepage/bg.png differ