Merge "set the default for nstdhdl to 100" into release-4-6
authorRoland Schulz <roland@rschulz.eu>
Fri, 26 Oct 2012 14:55:26 +0000 (16:55 +0200)
committerGerrit Code Review <gerrit@gerrit.gromacs.org>
Fri, 26 Oct 2012 14:55:26 +0000 (16:55 +0200)

Trivial merge