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-frontend | |
| parent | ad5ba1f4df8ed96c7569c60a5e52bf566dfcee88 (diff) | |
Remove C++ simulator from docker setup
Diffstat (limited to 'opendc-frontend')
| m--------- | opendc-frontend | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/opendc-frontend b/opendc-frontend -Subproject 532aa9c9241de0b658499ea4bb04e1b3b703508 +Subproject 6eda14819b8c8a67b66eab9e04e82e141093f7d |