]> matita.cs.unibo.it Git - helm.git/commit
native dependences fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Jul 2007 12:23:14 +0000 (12:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Jul 2007 12:23:14 +0000 (12:23 +0000)
commitb2e4cf6b1054d4f67f5223fb826aa885325fde35
tree3fe5daee1162072a9601feb4d4abab3a6efef1b9
parentad32bd6cd6f0b85ba8a77903229234c42f2d6b4a
native dependences fixed
components/hmysql/.depend.opt