diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-07-22 20:41:06 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-22 20:41:06 -0700 |
commit | 61355b3887de977e2816a1ead77173f9d31c937c (patch) | |
tree | 21d3a0d2a1da77decf5f4c219be817757484373e /tools/spec2js.js | |
parent | 648420e068cac0477759245f262a4dfbb4fc7d11 (diff) |
Avoid extra space before section number in spec.md.
Diffstat (limited to 'tools/spec2js.js')
0 files changed, 0 insertions, 0 deletions