]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4455a71) | 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)
commit971d6340adc9e8834e01ccc737d047033c7d406e
treeb007bfeb43d5cc72861778fe0cc8cb37a7fb662ctree | snapshot
parent4455a7194290db6bbe79c8bb52882d00997aa494commit | diff
fixed all (that now uses long paths)
matita/template_makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.