]> matita.cs.unibo.it Git - helm.git/commit - helm/gTopLevel/Makefile
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f521f17) | patch
* temporarily removed hbugs dependency
authorLuca Padovani <luca.padovani@unito.it>
Wed, 29 Oct 2003 10:01:20 +0000 (10:01 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 29 Oct 2003 10:01:20 +0000 (10:01 +0000)
commit3be38afd2c21f894a79d2eb4afe7c50873f20918
treeccaa9376a9f67778ea1a1dd5e1e7cab18b211ae1tree | snapshot
parentf521f1744b48fe1cffe33fc6f506156ff2b93e4ccommit | diff
* temporarily removed hbugs dependency
helm/gTopLevel/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.