diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-08-28 18:20:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-28 18:20:39 +0200 |
| commit | fcafd8350688d60bc58a88fe64cb223cba8e718c (patch) | |
| tree | 9a13e29f5e81a1a6a81927d7e347bbb6ad309a61 /src/check_type.cpp | |
| parent | 1e6419b5b7bdafe3f1d1a2b4321238b6257c44e6 (diff) | |
| parent | 21dab9673de9e9e3ca2e6bf8f5eb046334da608f (diff) | |
Merge pull request #4159 from Kelimion/disallow-do
More -disallow-do in CI.
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions