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