]> 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)
commitd877ccf162f36d793481b8a4892e67db190497a9
tree961649d109ec692ce7bd87bf4ab0b3d4fb4bc851
parent7ea9ca04a9d32615bc65808d0759fc07f132fc64
native dependences fixed
helm/software/components/hmysql/.depend.opt