]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6765237) | patch
removed dummy MATITA_CFLAGS assignement
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 09:11:50 +0000 (09:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 09:11:50 +0000 (09:11 +0000)
commiteca684b176e606b39bc0a1844cdb0e9e55f25113
tree13246b412c1f52160b779c26d4e82df77811d30etree | snapshot
parent676523786dfa270a37f4566c5d265034a67311dacommit | diff
removed dummy MATITA_CFLAGS assignement
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.