]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8118227) | patch
fixed all (that now uses long paths)
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 Oct 2006 15:56:52 +0000 (15:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 6 Oct 2006 15:56:52 +0000 (15:56 +0000)
commitc86d82c60fc1244249df48b87fe988d9a5c2d7c3
treed374667a0a4415e1fdde7fd55dfa6e1e301b33e0tree | snapshot
parent81182272629617d0b8b9b1e2034ff8cd39e41adecommit | diff
fixed all (that now uses long paths)
helm/software/matita/template_makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.