]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff1133c) | patch
fixed clean that wasn't returning the right list of uris owned by the user
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 May 2005 11:53:08 +0000 (11:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 May 2005 11:53:08 +0000 (11:53 +0000)
commite438acb0f220a41e76410786bd628454e5465341
treea8473c2d31e4d84f52f85877e7dd159cdde3a899tree | snapshot
parentff1133c2c563b279e85b12cd93bdd4cc2b8e0d74commit | diff
fixed clean that wasn't returning the right list of uris owned by the user
helm/ocaml/metadata/metadataDb.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.