]> matita.cs.unibo.it Git - helm.git/commit - helm/on-line/html/control.html
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c3724f) | patch
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
treeba190abc8c6192ae7e2bdabe3301ae1afb1440a9tree | snapshot
parent0c3724fe58a01cce5317d7d50ab6fce8740b9b91commit | diff
Oooops. After the last commit all the URLs were damaged.
helm/on-line/html/control.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.