]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d579fcb) | patch
added missing dependency
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 24 Nov 2005 10:21:33 +0000 (10:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 24 Nov 2005 10:21:33 +0000 (10:21 +0000)
commit1b5b2faaee8b16e376ac10d63ef8a03ba14698b1
treef5a4c527dc139e58301a51dd6f7ba45faf476007tree | snapshot
parentd579fcbe53997bcf8cc617341cd1da5e6d094c13commit | diff
added missing dependency
helm/matita/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.