]> matita.cs.unibo.it Git - helm.git/commit
New version for UWOBO 1.2.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Nov 2001 18:46:01 +0000 (18:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Nov 2001 18:46:01 +0000 (18:46 +0000)
commit2ddb9ae9d010e6e6508712d1db0df33dd6a1c4ad
treecac7dd53b1c5e972281709835c7ce17addfa9f2b
parente3d391b71f59528bd657f6a731c9250ea1d14334
New version for UWOBO 1.2.
helm/uwobo-panel/control.js