]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cc1797) | patch
Interface URL can now be setted using the control panel.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 10:12:02 +0000 (10:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 10:12:02 +0000 (10:12 +0000)
commitfd119a9a96b5f7923e95ee93092b94a69e318299
tree57b7b67d842f4141164cd24ad893e168176a57fdtree | snapshot
parent7cc1797b95fb6daf84d9a1b99cacbc780ff79b09commit | diff
Interface URL can now be setted using the control panel.
helm/on-line/javascript/prelude.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.