X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fblank.html;h=3334d0b61f029f6e529912edba56f7771a46ca1c;hb=33c7572776d0e2c502293f32ad6a01e6f8cf1e74;hp=903e3169b76b0b040d8c2e9fc3b1c93e0306daba;hpb=02a075a57f4e40ff34b7ae1351ab77c32d0d427b;p=helm.git diff --git a/helm/searchEngine/html/blank.html b/helm/searchEngine/html/blank.html index 903e3169b..3334d0b61 100644 --- a/helm/searchEngine/html/blank.html +++ b/helm/searchEngine/html/blank.html @@ -1,4 +1,4 @@ - \ No newline at end of file +