X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmanual%2Falias.jpg;fp=helm%2FsearchEngine%2Fhtml%2Fmanual%2Falias.jpg;h=0000000000000000000000000000000000000000;hb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;hp=0f57638e26c7d3d5e5c872696d4de009c131567f;hpb=2b2b90087f836c2f32291935216549e9370e68c3;p=helm.git diff --git a/helm/searchEngine/html/manual/alias.jpg b/helm/searchEngine/html/manual/alias.jpg deleted file mode 100644 index 0f57638e2..000000000 Binary files a/helm/searchEngine/html/manual/alias.jpg and /dev/null differ