]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f264827) | patch
added "unindex" to undo indexing of a single object
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:51:42 +0000 (15:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:51:42 +0000 (15:51 +0000)
commitdf29cafb872244de1a6a9b3c273b329a6e15fa8c
treec8fbe0bb9bfd9e0e8d591a6a34e46bc7bdc7085ftree | snapshot
parentf264827750988795bd85d0eb6a7d3ecf236d224ecommit | diff
added "unindex" to undo indexing of a single object
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.