Fix typo in documentation of --logfile.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 3 Jan 2015 16:23:55 +0000 (16:23 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 6 Jan 2015 19:55:32 +0000 (20:55 +0100)
commita198e29fee618785fc63ca18fc73add379678991
treea7f06c26b76fb92fceb0e3cf4beb9ab0d411b8b8
parent31638f52b0fe420f4881dca4afdecf7132d1ab91
Fix typo in documentation of --logfile.
dss.ggo