X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Feditorpdq.html;h=21e803906077a8244a0f342428dbb85c1cd24fad;hb=1bfef566743ddd81db375cf66ed3868c5d7df542;hp=3370ed1348c90a0e17432120409506d21ba384cf;hpb=09151f33b14507e4d20380f3100a6db5f49f3f46;p=helm.git diff --git a/helm/searchEngine/html/editorpdq.html b/helm/searchEngine/html/editorpdq.html index 3370ed134..21e803906 100644 --- a/helm/searchEngine/html/editorpdq.html +++ b/helm/searchEngine/html/editorpdq.html @@ -76,7 +76,7 @@ function editaalias()
Your list of alias.
@@ -85,6 +85,6 @@ function editaalias()
- +