]> matita.cs.unibo.it Git - helm.git/commit - helm/on-line/html/library/control.html
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9782918) | patch
Configuration on-line now pass the parameters
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Mar 2001 16:17:08 +0000 (16:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Mar 2001 16:17:08 +0000 (16:17 +0000)
commit4af7cefe3147a8332a96d44e396e4aa9ec8cd78d
tree15b3bd74dc4f8fbd8e4a618aef9ee6464957a44etree | snapshot
parent97829180b4bc5a72291eeb8156b15b3922f07048commit | diff
Configuration on-line now pass the parameters
helm/on-line/html/library/control.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.