changeset 7 | 5847345004db |
parent 0 | 5f4fcbc80b37 |
--- a/server/isso/Pipfile Mon Sep 17 15:32:33 2018 +0200 +++ b/server/isso/Pipfile Mon Sep 17 17:38:24 2018 +0200 @@ -5,7 +5,7 @@ [packages] uWSGI = "*" -"b6e37a2" = {path = "/Users/ymh/dev/projects/isso/dist/isso-0.10.7.dev0.tar.gz"} +isso = {editable = true, git = "https://github.com/IRI-Research/isso.git"} [dev-packages]