]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2fb896) | patch
Small improvement in extracting suffixes.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jun 2005 08:06:59 +0000 (08:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Jun 2005 08:06:59 +0000 (08:06 +0000)
commite741cbf7dfaea51173635b7c5c47c12e1e515b1b
tree6619c60231fd0ad3471e411ff84d98cbb9f26bfdtree | snapshot
parente2fb8962f72096d3f0bb19f40b00a3502a11e932commit | diff
Small improvement in extracting suffixes.
helm/ocaml/urimanager/uriManager.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.