]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d52e93) | patch
The GET request of the method "RemoveAllPredefined" had a separator at the end.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 Jun 2002 11:04:39 +0000 (11:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 6 Jun 2002 11:04:39 +0000 (11:04 +0000)
commit31c8d5e7f721937c06cfb10eaed4b59b6499ec11
treeb7071f2d6f22a41d49867726c98fd91b8dd3fa54tree | snapshot
parent9d52e9315d9f6e401f21f1ec9e772197ea89cc55commit | diff
The GET request of the method "RemoveAllPredefined" had a separator at the end.
Fixed.
helm/uwobo-panel/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.