Skip to content
  • Georges Racinet's avatar
    convert-pull-local: rename without .py suffix · 7b8384c6e61c
    Georges Racinet authored
    It is an implementation detail that it is written in Python.
    
    However, won't drop the `.sh` in a shell script, because that
    is dangerous (people could try `--help` and it's often not
    supported, got a system user `--help` once because of this).
    7b8384c6e61c