diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-12-22 22:26:33 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-12-22 22:28:27 -0800 |
commit | 8fa94cb460f5e516b0e57adca33f50a669d51f6c (patch) | |
tree | 38b6abf9df552e091c88bee422008be5731bf795 /tools | |
parent | fb64514e6728779165ba1d0ff06b68badaa3742c (diff) |
Rename 'horizontal rule' -> 'thematic break'.
This matches the HTML5 meaning for the hr element, and
recognizes that the element may be rendered in various
ways (not always as a horizontal rule).
See http://talk.commonmark.org/t/horizontal-rule-or-thematic-break/912/3
IN the DTD hrule is renamed 'thematic_break'.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions