-
Duncan Coutts authored
So instead of "-f FLAGS --flags=FLAGS" we get just "-f --flags=FLAGS" This makes rather better use of 80 cols and means the flag descriptsion are not squeesed into such a narrow column.
13756836
So instead of "-f FLAGS --flags=FLAGS" we get just "-f --flags=FLAGS" This makes rather better use of 80 cols and means the flag descriptsion are not squeesed into such a narrow column.