]> git.tuebingen.mpg.de Git - dss.git/search
show_subcommand_summary(): Increase column width.