diff options
Diffstat (limited to 'Pipfile')
-rw-r--r-- | Pipfile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -4,6 +4,8 @@ url = "https://pypi.org/simple" verify_ssl = true [dev-packages] +pre-commit = "*" +ethos-u-vela = {editable = true,path = "."} [packages] ethos-u-vela = {editable = true,path = "."} |