diff options
| author | Christoph Päper <bugzilla@crissov.de> | 2019-12-16 21:48:15 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-12-16 12:48:15 -0800 |
| commit | e4618d1f3db70710b81b77e0fe98a734d6c90c06 (patch) | |
| tree | f09fa11ed96d800453a3c2e5cc3d61f9db3f618b /spec.txt | |
| parent | 613a9afbb96b7868c56cf9bf9cf94d357baf9630 (diff) | |
Update make_spec.lua (#626)
Removes extraneous href attribute on headings.
fixes #625
Diffstat (limited to 'spec.txt')
0 files changed, 0 insertions, 0 deletions