X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.html;h=52855dd7a498120e305604e53599186df86f4704;hb=1b19b60c84b1becb403f09c17c99997afe5f81d9;hp=93f0fac8b4dd20ecd83b108f60bec5a21ffb7fd3;hpb=b339ccb67fd5958bf820163e09c4d2d3f74e8601;p=helm.git
diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
index 93f0fac8b..52855dd7a 100644
--- a/helm/uwobo-panel/control.html
+++ b/helm/uwobo-panel/control.html
@@ -222,8 +222,15 @@ the getter is used by default (you can deselect it, however):
+
+
+
+
+
+
+