diff options
| author | Geert-Jan Zwiers <geertjanzwiers@protonmail.com> | 2022-09-01 11:52:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-01 11:52:11 +0200 |
| commit | cbd830771073e5cb64b4984bf6a1bc21a90812e0 (patch) | |
| tree | bf74968199cdb7d17a89df01825fff16db1afdd7 /ext/web/lib.rs | |
| parent | b8933b1b5693bc0d59febfae4b9db5f4558be071 (diff) | |
fix(check): --remote and --no-remote should be mutually exclusive (#14964)
Diffstat (limited to 'ext/web/lib.rs')
0 files changed, 0 insertions, 0 deletions