X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_help.html;h=7b2a8bd05d2f7334339ca5a0be06b6ba9fe1b554;hb=aeb07f9b54ff0a5ab8f7a6c6f229f0bf3e7f9d62;hp=48980ec4b78c9347cd07d2735c90e5e88cfe8b75;hpb=34802c576a1a1e6283adfbdba2debe3ac2e6791f;p=helm.git diff --git a/helm/searchEngine/html/moogle_help.html b/helm/searchEngine/html/moogle_help.html index 48980ec4b..7b2a8bd05 100644 --- a/helm/searchEngine/html/moogle_help.html +++ b/helm/searchEngine/html/moogle_help.html @@ -4,7 +4,7 @@
- ![]() ![]() |