pandoc - Conversion between markup formats

Age	Commit message (Collapse)	Author	Files	Lines
2018-01-10	RST reader: better handling for headers with an anchor.	John MacFarlane	1	-0/+33
	Instead of creating a div containing the header, we put the id directly on the header. This way header promotion will work properly. Closes #4240.