Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Launch user scripts with run_name == "__main__"
Launches the user-provided scripts with a more canonical `__name__` parameter.
- Loading branch information