Henrik Lissner f4a11fd437 Fix #1679: newline-and-indent advice not deleting trailing whitespace		2019-08-21 00:29:12 -04:00
..
default	Fix #1679: newline-and-indent advice not deleting trailing whitespace	2019-08-21 00:29:12 -04:00
literate	config/literate: always tangle asynchronously	2019-07-29 03:18:38 +02:00