diff options
| author | Chimrod <> | 2023-10-03 08:32:14 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-03 08:32:14 +0200 |
| commit | c7683b81be07f76ab8f1bfb95273291720eb017c (patch) | |
| tree | 25858ba49bb71e5e3e08dce51f7eff4d832fadfa /tools | |
| parent | f21a7b0552f65de232ab75bdd3172c6c182292b1 (diff) | |
Handle the case where no args are given
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions