Merge "Various improvements to shell code" into release-4-5-patches
authorDavid van der Spoel <davidvanderspoel@gmail.com>
Thu, 26 Apr 2012 07:05:10 +0000 (09:05 +0200)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Thu, 26 Apr 2012 07:05:10 +0000 (09:05 +0200)

Trivial merge