Gilles Peskine 8f5a5018e8 Describe options in alphabetical order
No behavior change.
2019-11-21 16:49:10 +01:00
..
2016-01-12 14:48:03 +00:00
2019-11-13 14:33:34 +00:00
2019-02-27 11:03:25 +01:00