]> matita.cs.unibo.it Git - helm.git/commit
Oooops. After the last commit all the URLs were damaged.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Oct 2001 15:34:43 +0000 (15:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Oct 2001 15:34:43 +0000 (15:34 +0000)
commit7527c24dcf7e7e59a8bc54fb99204a83bd25d083
treeba190abc8c6192ae7e2bdabe3301ae1afb1440a9
parent0c3724fe58a01cce5317d7d50ab6fce8740b9b91
Oooops. After the last commit all the URLs were damaged.
helm/on-line/html/control.html