diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-07-16 12:01:25 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-07-16 13:18:18 +0200 |
commit | fa2f18ad8e386f067c2d7d5362f6b4dd84c295a0 (patch) | |
tree | 6205699c7099c78311bbc02a745f4ed668751688 /src/index/base.h | |
parent | 01e5d6b105861ebf1216df6f1682004e44dd2544 (diff) |
ci: Use DOCKER_BUILDKIT for lint image
Can be reviewed with:
--color-moved=dimmed-zebra --ignore-all-space
Diffstat (limited to 'src/index/base.h')
0 files changed, 0 insertions, 0 deletions