X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.html;h=c60c44a2c08e111b013aa7f287b3ebe138e226a2;hb=f882f75140898a46bafbeea3520a587cc0dc0767;hp=52855dd7a498120e305604e53599186df86f4704;hpb=f7bcfbccab33854b334c9d1ca2da9b629d2e9621;p=helm.git
diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
index 52855dd7a..c60c44a2c 100644
--- a/helm/uwobo-panel/control.html
+++ b/helm/uwobo-panel/control.html
@@ -224,11 +224,11 @@ the getter is used by default (you can deselect it, however):
-
-
-
-
-
+
+
+
+
+