Henrik Lissner 869758e8f5 Remove extra parentheses #1075		2018-12-27 15:05:14 -05:00
..
default	Remove extra parentheses #1075	2018-12-27 15:05:14 -05:00
literate	Remove third line in section headers	2018-09-09 09:58:19 -04:00