diff options
| author | Blaž Hrastnik | 2022-11-16 09:13:36 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-11-16 09:14:30 +0000 |
| commit | fe11ae221812c2aaa917359377f92c511a861886 (patch) | |
| tree | a5290011e1b7171820cc67617ebf8d0b0f69dcec /.github | |
| parent | a3173c2280aecfcb3d79254058f993c43cab5b90 (diff) | |
minor: Simplify some command code
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions