K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2013-11-12T19:18:00.160643Z
K 7
svn:log
V 114
Sort option flags and fix the width of the options list.  This is a purely
mechanical change, no content changes.

END