]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18d61b8) | patch
fixed make dist
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 12 Feb 2008 12:09:20 +0000 (12:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 12 Feb 2008 12:09:20 +0000 (12:09 +0000)
commitf648fbec41b061c019361dc45ddd76c542853b09
tree12078d731eb54f11d014092bca56801f16902758tree | snapshot
parent18d61b8fe9cda8874a3f57b70a293492460ae574commit | diff
fixed make dist
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.