DIRACGrid/DIRAC — pull request #2054 by fstagni (2014-08-20 16:24:35+00:00)
Title: [v6r12] Install mysql only if needed

In InstallTools.