From 0e4af5f5e4392c5cf65ad18deae19610a6179057 Mon Sep 17 00:00:00 2001 From: Jarrod Millman Date: Thu, 16 Mar 2023 11:09:37 -0700 Subject: Rename devpy to spin --- dev.py | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100755 dev.py (limited to 'dev.py') diff --git a/dev.py b/dev.py deleted file mode 100755 index 002885d49..000000000 --- a/dev.py +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env python -# -# Example stub for running `python -m dev.py` -# -# Copy this into your project root. - -import os -import sys -import runpy - -sys.path.remove(os.path.abspath(os.path.dirname(sys.argv[0]))) -try: - runpy.run_module("devpy", run_name="__main__") -except ImportError: - print("Cannot import devpy; please install it using") - print() - print(" pip install git+https://github.com/scientific-python/devpy@v0.1") - print() - sys.exit(1) -- cgit v1.2.1