diff options
| author | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-10-17 15:03:46 +0200 |
|---|---|---|
| committer | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-10-17 15:03:46 +0200 |
| commit | d8cce9fc5158b3d9443eb53441e552ae47598c6e (patch) | |
| tree | b26ef15aa51d10e5b45b2a35a53317993313ee6c /opendc-frontend | |
| parent | c2a0b6e7fe7d139a3ac8902045ca95650ad8a747 (diff) | |
Relink frontend and simulator
Diffstat (limited to 'opendc-frontend')
| m--------- | opendc-frontend | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/opendc-frontend b/opendc-frontend -Subproject f94906ca30ff10ebd85961bfb3659faaaeb6ab2 +Subproject 194b0125d44ed960ba4d2e79bfc64633d92e1c2 |