]> matita.cs.unibo.it Git - helm.git/commit
The reload method requires now the "keys" parameter (that may be empty).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:45:59 +0000 (16:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:45:59 +0000 (16:45 +0000)
commitd59e63c50edaf0823b1d03ebf7fc259719b29a4f
tree4a3af7079b4ea30e908e5ac35b717ee1ede463e3
parentdef46f84dde4cdec1f817443432acc51f62e5ace
The reload method requires now the "keys" parameter (that may be empty).
helm/uwobo-panel/control.html