diff options
| author | Georgios Andreadis <G.Andreadis@student.tudelft.nl> | 2018-11-09 21:24:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-09 21:24:34 +0100 |
| commit | ad058270af5e27e32c91552bea4dfcd7ec7821a5 (patch) | |
| tree | e7cce641ce45988ed151f93c29876f6562dd0b1d /opendc-web-server | |
| parent | 40dbfb2d0d341027a3a316fd13d6a8dd7e2e460d (diff) | |
| parent | 6572a07a3a639917dba8a88cebacd8b77111ee91 (diff) | |
Merge pull request #16 from atlarge-research/use-setup-in-dockerfile
Use setup.py in web-server Docker install
Diffstat (limited to 'opendc-web-server')
| m--------- | opendc-web-server | 24 |
1 files changed, 5 insertions, 19 deletions
diff --git a/opendc-web-server b/opendc-web-server -Subproject 9a2a98548ab50217a78d433a13da72af3001a78 +Subproject 39a147b14d9ad079433d5405c7a3d533851095f |