gui: Improve documentation of --stat-cmd.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 3 Apr 2016 02:32:50 +0000 (04:32 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 8 May 2016 12:29:27 +0000 (14:29 +0200)
commit28950d87503c12d3e90928346011bed01f9728d3
treeb03d41d3ac2cc01b0aa128adeb215afc1926421e
parentc2396d21b32adec8a94bdae47d66bdc492779775
gui: Improve documentation of --stat-cmd.

The new text is shorter and more to the point.
m4/gengetopt/gui.m4