diff options
| author | Evgeny Zinoviev <me@ch1p.io> | 2023-06-11 05:10:21 +0300 |
|---|---|---|
| committer | Evgeny Zinoviev <me@ch1p.io> | 2023-06-11 05:10:21 +0300 |
| commit | cbb6ad451749c54039e6d7c7eeeb5e387d95c069 (patch) | |
| tree | 0b35e2abb5602cfefe3be34ab2607c26cc2e1573 | |
| parent | 08e736c48990bec0423f72cf52dd1a457e9f9590 (diff) | |
typo
| -rwxr-xr-x | bin/pio_ini.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/pio_ini.py b/bin/pio_ini.py index 7254eca..ee85732 100755 --- a/bin/pio_ini.py +++ b/bin/pio_ini.py @@ -109,7 +109,7 @@ if __name__ == '__main__': product_config = get_config(product) - # then everythingm else + # then everything else parser = ArgumentParser(parents=[product_parser]) parser.add_argument('--target', type=str, required=True, choices=product_config['targets'], help='PIO build target') |