diff options
author | Phil de Joux <philderbeast@gmail.com> | 2022-07-24 07:45:59 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-24 13:45:59 +0200 |
commit | 2f1711b301fea88eb1d0b40d1c04b2f0539fd882 (patch) | |
tree | 4523ca2ffd88b1002036879ab593d4abaff8d417 /html-test/ref/TitledPicture.html | |
parent | 90c38242e54d1a742426e2b1b3c7d71e226811bd (diff) |
Follow hlint suggestion: redundant $. (#1505)
* Follow hlint suggestion: redundant $.
* Remove $ and surplus blank lines in Operators.
Diffstat (limited to 'html-test/ref/TitledPicture.html')
0 files changed, 0 insertions, 0 deletions