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