Merge "Print default file names for command-line help."
authorRoland Schulz <roland@rschulz.eu>
Tue, 8 May 2012 01:10:58 +0000 (03:10 +0200)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Tue, 8 May 2012 01:10:58 +0000 (03:10 +0200)

Trivial merge