]> jfr.im git - irc/freenode/web-7.0.git/commitdiff
Merge pull request #175 from freenode/fix-headings
authorChristel Dahlskjaer <redacted>
Fri, 25 Mar 2016 20:53:25 +0000 (20:53 +0000)
committerChristel Dahlskjaer <redacted>
Fri, 25 Mar 2016 20:53:25 +0000 (20:53 +0000)
Convert bold headings to real headings.


Trivial merge