diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2017-09-29 14:20:07 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2017-09-29 14:20:07 +0200 |
| commit | 5eb85595a8787898f1dd517fbebb5854a5dcdde3 (patch) | |
| tree | cfb778c0f837aecb2965e23197cbd47a1e7edf72 /opendc-simulator | |
| parent | 9ca5183304f755c4b11ca69d3a2715fd8312c22d (diff) | |
Update Docker image of simulator
This change updates the Docker of the simulator so that it will now
prebuild the simulator, so that it can be run immediately at runtime.
Diffstat (limited to 'opendc-simulator')
| m--------- | opendc-simulator | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/opendc-simulator b/opendc-simulator -Subproject f78c27450a5a2f76a8f78070cc08d2cbfa488ed +Subproject 5b7cff91bac30943b310f483e264b6be425e17d |