]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdc2c0c) | patch
helm registry's META
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2004 11:51:39 +0000 (11:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Jan 2004 11:51:39 +0000 (11:51 +0000)
commit49ef13c7e0cdfd52a8e3b0678f4fdbf3cb93901f
tree5d7a5ddc62155885f0351b3ab250dc9a3cf500f2tree | snapshot
parentcdc2c0c2ba2831239dcaad706bba8c73ab27723fcommit | diff
helm registry's META
helm/ocaml/METAS/meta.helm-registry.src [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.