X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.html;h=3f68abb91bbef427758f4c9bc511a897c12031de;hb=54c135065412e4af07be487b453dbac7c2b45034;hp=29b850ae65d1f211a3a0c35ab03fc64a1f781eaf;hpb=c1839f8c8e0562fee90a1e385fa9d6d8ad5e499f;p=helm.git diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html index 29b850ae6..3f68abb91 100644 --- a/helm/uwobo-panel/control.html +++ b/helm/uwobo-panel/control.html @@ -37,6 +37,7 @@ If you have troubles, please send an email to the author: The sections: