diff options
author | stuebinm | 2021-12-04 13:06:27 +0100 |
---|---|---|
committer | stuebinm | 2021-12-12 17:42:22 +0100 |
commit | 6a67d3e41fc49e09ed6c1c02fec2946c6db9bc1f (patch) | |
tree | f16d369c22a13c0e9a8ec733a00271c76a1234ab /.gitignore | |
parent | bbde46e7db5fa23015ba09128efb27f6b7342675 (diff) |
lints for names that are used more than twice
(previously it would just lint "can't use name twice" multiple times,
which looks kind of silly)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions