]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05c15b2) | patch
Method get of the getter no more used. Replaced by getciconly
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Mar 2001 13:50:13 +0000 (13:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Mar 2001 13:50:13 +0000 (13:50 +0000)
commit97087e29c26ea3a8f46c880e1dc07ee68a396a43
tree0121f88066faf978eace922fb5fd95f3efda6ef6tree | snapshot
parent05c15b2c0b6777854163bff90f1b5dcb84034f91commit | diff
Method get of the getter no more used. Replaced by getciconly
(whose name is now insignificant)
helm/on-line/javascript/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.