diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-04 23:33:00 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-04 23:33:00 -0800 |
commit | 1619a0771dad8d40662bfbc335162696931e6b9b (patch) | |
tree | 80372cb58f48559a055f2683e7cf251e764947fb /src/scanners.re | |
parent | 2590e3b4448798db88f650a4fbc37cec3b741a4a (diff) |
Strip {-} off unnumbered sections in HTML version of spec.
Diffstat (limited to 'src/scanners.re')
0 files changed, 0 insertions, 0 deletions