summaryrefslogtreecommitdiff
path: root/opendc-web-server
diff options
context:
space:
mode:
authorGeorgios Andreadis <g.andreadis@student.tudelft.nl>2018-11-09 18:03:13 +0100
committerGeorgios Andreadis <g.andreadis@student.tudelft.nl>2018-11-09 18:03:13 +0100
commit641cdc469d9068ec1d4032dc124528a0f5587f23 (patch)
tree1031ff811755d9015a7e5a73a3244bb5b7ce874f /opendc-web-server
parent40dbfb2d0d341027a3a316fd13d6a8dd7e2e460d (diff)
Use setup.py in web-server Docker install
Diffstat (limited to 'opendc-web-server')
m---------opendc-web-server24
1 files changed, 5 insertions, 19 deletions
diff --git a/opendc-web-server b/opendc-web-server
-Subproject 9a2a98548ab50217a78d433a13da72af3001a78
+Subproject 39a147b14d9ad079433d5405c7a3d533851095f