Merge "Improve ProgramInfo and use it everywhere."
authorDavid van der Spoel <davidvanderspoel@gmail.com>
Thu, 5 Jul 2012 20:13:24 +0000 (22:13 +0200)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Thu, 5 Jul 2012 20:13:24 +0000 (22:13 +0200)

Trivial merge