aboutsummaryrefslogtreecommitdiff
path: root/lib/checks/dune
diff options
context:
space:
mode:
authorChimrod <>2024-11-15 18:45:34 +0100
committerChimrod <>2024-11-15 18:45:34 +0100
commit9e7b9de243e488e15d2c7528ce64e569eba8add2 (patch)
treea2a69a6f49a3da68c44f7f0012b56fe9923c7781 /lib/checks/dune
parent75be18b30ebd08dc28c0c8df72983126b7a126a7 (diff)
Fix a correction in the location identification in the unused variable parser
Diffstat (limited to 'lib/checks/dune')
0 files changed, 0 insertions, 0 deletions