diff options
| author | Merry <git@mary.rs> | 2022-07-15 10:34:38 +0100 |
|---|---|---|
| committer | Merry <git@mary.rs> | 2022-07-15 10:34:38 +0100 |
| commit | 914ead075e31132b9fd16b0c687ac6125a99cf6b (patch) | |
| tree | a4bab540f809d19d4f9ee729ca232e45fd011426 /.ci/scripts/merge/check-label-presence.py | |
| parent | 53fb4a78a3ab73b4233464b74be5fcf53b0424d0 (diff) | |
common_funcs: Mark padding as [[maybe_unused]]
Diffstat (limited to '.ci/scripts/merge/check-label-presence.py')
0 files changed, 0 insertions, 0 deletions