diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-08-28 18:13:53 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-08-28 18:13:53 +0200 |
| commit | 21dab9673de9e9e3ca2e6bf8f5eb046334da608f (patch) | |
| tree | 9a13e29f5e81a1a6a81927d7e347bbb6ad309a61 /src | |
| parent | 1e6419b5b7bdafe3f1d1a2b4321238b6257c44e6 (diff) | |
More -disallow-do in CI.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions