summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-12-21 09:36:08 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2019-12-21 09:36:08 -0800
commit77f7e7ae8b8f6c42c12e658c7a129429c1ba7bee (patch)
treeb9e9291e5edaff09976ee64f98afebff53b25f66 /tools
parent8a71de7d058592b05c7f74424d2a2efbeab8ddc2 (diff)
Ensure that consecutive indented code blocks aren't merged...
by inserting an HTML comment. Closes #317. I think I'll follow up with a change to use fenced code blocks, but this was the minimal fix.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions