diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-11-01 00:39:08 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-01 00:39:08 -0400 |
| commit | 9b513b8a7a6fd1986ac8c4f7778f3ad3b54edfbb (patch) | |
| tree | e44e6b26684fd36ae5dabd43247bbeebc9b118ce /tools | |
| parent | eef8118af0bb353f38e8b6ae0f2881ca4d7f71d3 (diff) | |
| parent | 8d7ce0fdf0a71e8c34fb7e3bff8909884f3af3a2 (diff) | |
Merge pull request #4009 from mb21/html-class-names
HTML Writer: consistently use dashed class-names
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions