Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Check the actually used `$python_cmd` and `$GIT` executables instead of the hardcoded ones - Fix typo in comment
- Loading branch information