diff --git a/python/mypy.ini b/python/mypy.ini index a7b00d3..7912c3a 100644 --- a/python/mypy.ini +++ b/python/mypy.ini @@ -8,6 +8,6 @@ warn_unused_ignores = True # Per-module options: -[mypy-argo.*] +[mypy-argo_client.*] disallow_untyped_defs = True warn_unreachable = True diff --git a/python/setup.cfg b/python/setup.cfg index d71bc88..99274dd 100644 --- a/python/setup.cfg +++ b/python/setup.cfg @@ -1,7 +1,7 @@ [metadata] name = argo-client version = 0.0.1 -url = https://github.com/GaloisInc/argo/python +url = https://github.com/GaloisInc/argo/tree/master/python author = Galois Inc. author_email = andrew@galois.com license = BSD 3-Clause License diff --git a/python/setup.py b/python/setup.py deleted file mode 100644 index b908cbe..0000000 --- a/python/setup.py +++ /dev/null @@ -1,3 +0,0 @@ -import setuptools - -setuptools.setup()