]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6f0fa9) | patch
update method added; now returns NOT_FOUND if the document is not found
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Dec 2000 19:59:41 +0000 (19:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Dec 2000 19:59:41 +0000 (19:59 +0000)
commite4923cacaf9d64f3d69afd79b85a21660dc0ab76
tree49753699ed3447dfe81196cc5b434782651dea3dtree | snapshot
parentd6f0fa9848f1c2070a044451b55d9f4824d85105commit | diff
update method added; now returns NOT_FOUND if the document is not found
helm/http_getter/http_getter.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.