diff options
author | Jesse Hallett <jesse@galois.com> | 2014-01-06 14:21:47 -0800 |
---|---|---|
committer | Jesse Hallett <jesse@galois.com> | 2014-01-06 14:44:54 -0800 |
commit | 800b351ff47165b041d8be5b2a4d9944579ab337 (patch) | |
tree | 13b457fe292a400c1b1b9e826982fca209ad4b21 /.gitignore | |
parent | dbcf8d56fb0b20d5abb58e20944ee3a79c052f14 (diff) |
Changes pseudo-heading rule to permit paragraphs with bold and non-bold text
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions