]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4f04f4) | patch
recursive invocation of distr_pre
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Jun 2006 09:54:21 +0000 (09:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Jun 2006 09:54:21 +0000 (09:54 +0000)
commit34eeba761a4b94cc261e53021c45dc8379854fd1
treebb28f1c31e7490e6900724039643e508b7c2c55ctree | snapshot
parentc4f04f460838ee0450e73f96bda214b7988b16a6commit | diff
recursive invocation of distr_pre
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.