]> matita.cs.unibo.it Git - helm.git/commit
Default ports changed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Oct 2002 09:33:09 +0000 (09:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Oct 2002 09:33:09 +0000 (09:33 +0000)
commit614780167379a2b7ccf287e496268534539171d2
tree855a44e6025070cfadba72a3415ed922bfae95f7
parente2d0672789ad98b6178cd6e33eb3f5e68c95798b
Default ports changed.
helm/on-line/javascript/defaults.js
helm/on-line/javascript/prelude.js