diff options
Diffstat (limited to 'Pipfile')
-rw-r--r-- | Pipfile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Pipfile b/Pipfile deleted file mode 100644 index eaf8ff87..00000000 --- a/Pipfile +++ /dev/null @@ -1,13 +0,0 @@ -[[source]] -name = "pypi" -url = "https://pypi.org/simple" -verify_ssl = true - -[dev-packages] -pre-commit = "2.17.0" -pytest = "6.2.5" -pytest-cov = "3.0.0" -ethos-u-vela = {editable = true,path = "."} - -[packages] -ethos-u-vela = {editable = true,path = "."} |