Ivan Lazar Miljenovic 6df200326f Add an option to wrap notes in a separate header ... Closes #831, using option 3.		2017-10-11 12:12:48 +11:00
..
Docs	Add an option to wrap notes in a separate header	2017-10-11 12:12:48 +11:00
Docs.hs	Add an option to wrap notes in a separate header	2017-10-11 12:12:48 +11:00