]> matita.cs.unibo.it Git - helm.git/commit
defaults.js no longer in use
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 May 2004 12:32:39 +0000 (12:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 May 2004 12:32:39 +0000 (12:32 +0000)
commit0560aae5f22121762204eeeb22c13c3a57a7eacc
tree008283eb47a75b37a633de7f604c586d2e4ca277
parentd09e006a81595572f00eb0de7f1e954b6e20f66a
defaults.js no longer in use
helm/on-line/javascript/Makefile
helm/on-line/javascript/defaults.js [deleted file]