X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;h=05eba4cbc3e3d52aad7de979154df7e3dedc93d5;hb=783153a9156030c67b263f8e8a5962ae42474832;hp=9bc072d360e7db2f2bc25648aa1baa72b3c95727;hpb=c0cd1db2993db9e7daadde2aba399bebacc0ac2b;p=helm.git diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src index 9bc072d36..05eba4cbc 100644 --- a/helm/searchEngine/html/moogle_form.html.src +++ b/helm/searchEngine/html/moogle_form.html.src @@ -12,7 +12,7 @@ whelp    - +