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