]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/tests/bad_tests/Makefile
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78229b5) | patch
added -I../..
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Dec 2005 10:37:25 +0000 (10:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 14 Dec 2005 10:37:25 +0000 (10:37 +0000)
commit30028f3f9d4109822f998e2d064b00696db6db59
tree5150b59cf1c7c7a3bb97f8b437ec5798c368faadtree | snapshot
parent78229b5b53f947df657547e682c5365bbba9455bcommit | diff
added -I../..
helm/matita/tests/bad_tests/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.