diff options
| author | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-09-28 16:42:36 +0200 |
|---|---|---|
| committer | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-09-28 16:42:36 +0200 |
| commit | a6fb43b576b94d6fd842f5c6dba443b39a5b3ac9 (patch) | |
| tree | 620347ed4d5293148b936670b128180ddf9b45bc /opendc-web-server | |
| parent | ad5ba1f4df8ed96c7569c60a5e52bf566dfcee88 (diff) | |
Remove C++ simulator from docker setup
Diffstat (limited to 'opendc-web-server')
| m--------- | opendc-web-server | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/opendc-web-server b/opendc-web-server -Subproject 4c6d68dd2e460095e20ba32007a35da4c5e6dae +Subproject 44f0bd378763f4c481fb8a87847ca84469b35a6 |