]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2aea6f2) | patch
Bug fixed: ls?baseuri=(cic|theory):/a/ also returned theory:/a.theory.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 May 2004 17:48:27 +0000 (17:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 May 2004 17:48:27 +0000 (17:48 +0000)
commitb866f5326c88e5881b5b7ce5354ff35abbd79549
treee83b6b075f10935190d8a296f0c8336143cf1c9atree | snapshot
parent2aea6f286c52d30eca4108ef357c97bbbcb3e3cfcommit | diff
Bug fixed: ls?baseuri=(cic|theory):/a/ also returned theory:/a.theory.
helm/ocaml/getter/http_getter.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.