mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-24 15:44:59 +08:00
+ Header identifiers now get attached to the headers, unless --section-divs is specified, in which case they are added to enclosing divs. By default, the divs are not added. + Resolves Issue #230, #239.