]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd972f2) | patch
removed only made with the DB
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:16:02 +0000 (15:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 15:16:02 +0000 (15:16 +0000)
commitd8c62201d1598c23be67504082b7c51ddcf42678
treeb5bf224e3f08ad935e6b176cc31d1842750f640etree | snapshot
parentfd972f2c23de4c32d1335fb2b27e21854c6eb806commit | diff
removed only made with the DB
components/metadata/metadataConstraints.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.