Merge "Option parsing through SelectionOptionManager."
authorChristoph Junghans <junghans@votca.org>
Mon, 28 May 2012 23:11:55 +0000 (01:11 +0200)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Mon, 28 May 2012 23:11:55 +0000 (01:11 +0200)

Trivial merge