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 /doc/.gitignore | |
| parent | 90c38242e54d1a742426e2b1b3c7d71e226811bd (diff) | |
Follow hlint suggestion: redundant $. (#1505)
* Follow hlint suggestion: redundant $.
* Remove $ and surplus blank lines in Operators.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions