diff options
| author | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-09-26 19:37:02 +0200 |
|---|---|---|
| committer | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-09-26 19:37:02 +0200 |
| commit | 5a418c0d85f7fb381d27d6c1147dec51958284b8 (patch) | |
| tree | 477e89f6016b7f13ad8f1725e5867832df70d295 | |
| parent | 488345a3ad61f76f63173a534f0db6057d04f0cc (diff) | |
Relink frontend
| m--------- | opendc-frontend | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/opendc-frontend b/opendc-frontend -Subproject 9ed6d7932876cb7654ad154d028ba41bef12a7b +Subproject 3ccc6c95acfe71fee5884ccb32c685adc53127c |