Merge "Remove obsolete pointers in options handling."
authorChristoph Junghans <junghans@votca.org>
Tue, 20 Mar 2012 15:53:09 +0000 (16:53 +0100)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Tue, 20 Mar 2012 15:53:09 +0000 (16:53 +0100)

Trivial merge