]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c4d129) | patch
- clean no longer unregister URIs from the getter, but returns them
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:15:10 +0000 (09:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:15:10 +0000 (09:15 +0000)
commitc66e9d17eda5e5defcb363e42d891d2b407cf7c3
tree6a316ccc6b3366a18e50899758aa94967ebb6fbdtree | snapshot
parent4c4d129e76feb5a393d4fed36a55300f7ef13534commit | diff
- clean no longer unregister URIs from the getter, but returns them
- removed owner table handling
helm/ocaml/metadata/metadataDb.ml diff | blob | history
helm/ocaml/metadata/metadataDb.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.