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 /bench | |
| parent | 2590e3b4448798db88f650a4fbc37cec3b741a4a (diff) | |
Strip {-} off unnumbered sections in HTML version of spec.
Diffstat (limited to 'bench')
0 files changed, 0 insertions, 0 deletions