diff options
| author | Joel Challis <git@zvecr.com> | 2023-01-06 04:16:52 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-06 04:16:52 +0000 |
| commit | 5c730d971ec78344e1304f746436ac0e1d61aea5 (patch) | |
| tree | 839a165c8fb4c9bb2d7645e3f8c6e4ee68e35623 /users/kuchosauronad0/leader.c | |
| parent | b2384f18096d42fb4ed036a2fc0135e6d32ece5d (diff) | |
Migrate submodule dirty check to CLI (#19488)
Diffstat (limited to 'users/kuchosauronad0/leader.c')
0 files changed, 0 insertions, 0 deletions