]> git.tuebingen.mpg.de Git - gsu.git/commitdiff
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)
Found by shellcheck.


No differences found