]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a329840) | patch
* the regular expressions must have $ otherwise the shortest match
authorLuca Padovani <luca.padovani@unito.it>
Fri, 26 Sep 2003 15:55:54 +0000 (15:55 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 26 Sep 2003 15:55:54 +0000 (15:55 +0000)
commit6dc6f6e97cb85d5b51fbf5d14a9f87b24b2964cd
tree75992e0130b2370bfb96dd6cf1f297170825dd79tree | snapshot
parenta329840be2b0c4a763c6e2a7af200ca1d0aa7183commit | diff
* the regular expressions must have $ otherwise the shortest match
  will be found first and the annotations will never show up
helm/http_getter/http_getter.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.