aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPhil de Joux <philderbeast@gmail.com>2022-07-24 07:45:59 -0400
committerGitHub <noreply@github.com>2022-07-24 13:45:59 +0200
commit2f1711b301fea88eb1d0b40d1c04b2f0539fd882 (patch)
tree4523ca2ffd88b1002036879ab593d4abaff8d417 /doc
parent90c38242e54d1a742426e2b1b3c7d71e226811bd (diff)
Follow hlint suggestion: redundant $. (#1505)
* Follow hlint suggestion: redundant $. * Remove $ and surplus blank lines in Operators.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions