diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-01-16 10:53:48 +0100 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-01-16 10:54:14 +0100 |
commit | fadb06c361bbda78192d89fd06195f0aa5418c56 (patch) | |
tree | 03d90dcfeb3d3be6ac74fb35627a3aa917b08f55 /test/lint/test_runner/src | |
parent | 2ac2821a74efdd0f61f091b0fc774cc386930c95 (diff) |
doc: move-only lint docs to one place
Can be reviewed with --color-moved=dimmed-zebra
Diffstat (limited to 'test/lint/test_runner/src')
0 files changed, 0 insertions, 0 deletions