aboutsummaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-04-13 13:14:16 +0100
committerGitHub <[email protected]>2021-04-13 13:14:16 +0100
commit7f53d3acbaced3b9ea76fb4a43a29b424fc03a3f (patch)
tree0a01c57a30739fc9bb9b8217c1ce9f7f0b851739 /docs/dev
parent9beed98f2ab15f6d62283d09b6b96fa5f57a78d1 (diff)
parent31594bcd0196fbd2bff510bbe3d40678b390e696 (diff)
Merge #8504
8504: decl_check: follow test style guide r=jonas-schievink a=jonas-schievink changelog skip bors r+ Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions