diff options
| author | Titus <tituswormer@gmail.com> | 2019-10-31 16:15:52 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-10-31 08:15:52 -0700 |
| commit | df9d8cd1fbf6da26ca7b57f394e850b53507efb1 (patch) | |
| tree | 0964055ed85f4483ac8ee696a400637d5e427f92 /tools | |
| parent | 38433c2762e9c40e9e3f5936b914af2257608db4 (diff) | |
Remove superfluous restrictions on declarations (#621)
HTML declarations need not be limited to all capital ASCII letters.
Closes #620.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions