Henrik Lissner 90f36bceff Undo 1f23eecd: un-homogenize TAB/RET/ESC ...

This is more trouble than its worth. Better to deal with the old edge
cases than the new ones this causes.

Addresses #1218

2019-03-14 17:59:24 -04:00

..

default

Undo 1f23eecd: un-homogenize TAB/RET/ESC

2019-03-14 17:59:24 -04:00

literate

Remove third line in section headers

2018-09-09 09:58:19 -04:00