Mike Fährmann 74865adae5 implement 'format-separator' option (#2737) ...

a global option, that servers as a workaround for shortcomings due to
lack of a proper format string parser

2022-07-10 13:31:43 +02:00

14 KiB

Raw Blame History

View Raw