]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e61d023) | patch
cosmetic change: a space removed (to make tests/Makefile and library/Makefile
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Jul 2005 13:49:22 +0000 (13:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 2 Jul 2005 13:49:22 +0000 (13:49 +0000)
commit612fb083e885d31e73df6804384321a85b9d322f
treec392e23ac385371a15f134301c2453a45db7b8d6tree | snapshot
parente61d023695578ebf09d487480e6e7cac3a2dd2eecommit | diff
cosmetic change: a space removed (to make tests/Makefile and library/Makefile
the same)
helm/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.