Remove some unused local variables.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 7 Oct 2017 12:58:04 +0000 (14:58 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 7 Oct 2017 12:58:04 +0000 (14:58 +0200)
commita83461ac7e653a1caece11dba3f16c6db6fe8509
tree305df9225f4f9d067e221d13b20360e0af8270e0
parent276176cd0146e6017c57cffdf099def78ecfac24
Remove some unused local variables.

Found by shellcheck.
gui
subcommand