diff options
| author | Aleksey Kladov <[email protected]> | 2020-04-03 11:46:29 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-04-03 11:46:29 +0100 |
| commit | ac91de1525662a602a1057709eb91a9b21ea3ac7 (patch) | |
| tree | 701a38f8e166013eef237a072adb1ce11e9e8731 /docs/dev | |
| parent | 77462bba621b0e85f3f04bbcebd2a065a875ac02 (diff) | |
| parent | 32770794128d45208a7a208e7b0d54912e584f20 (diff) | |
Merge pull request #3833 from edwin0cheng/remove-deny-c
Remove deny_c in CI
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions