From: Andre Noll Date: Mon, 13 Nov 2017 16:46:57 +0000 (+0100) Subject: Merge branch 'refs/heads/t/configtest' X-Git-Tag: v1.0.0~18 X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=a4544b07746d58815d78c4f1213ccdb96d256919;hp=a4544b07746d58815d78c4f1213ccdb96d256919;p=dss.git Merge branch 'refs/heads/t/configtest' A single patch which adds the new configtest subcommand, plus a fixup for a formatting issue which was noticed only after the branch had already been merged to next. * refs/heads/t/configtest: show_subcommand_summary(): Increase column width. New subcommand: configtest. ---