diff options
| author | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-10-28 13:18:52 +0200 |
|---|---|---|
| committer | Georgios Andreadis <g.andreadis@student.tudelft.nl> | 2017-10-28 13:18:52 +0200 |
| commit | 56d6a5a0ff0e9af814e5f17cec45f6fc107ff11c (patch) | |
| tree | a132b7b293e3c9d8746be2417d3a4f167c3b6f14 /opendc-frontend | |
| parent | 7b5437b800f1996471d993699ed2a8d2eb4f53f8 (diff) | |
Sync frontend with upstream
Diffstat (limited to 'opendc-frontend')
| m--------- | opendc-frontend | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/opendc-frontend b/opendc-frontend -Subproject bcf119f2c4ac587cc8263db8a9fc0581521fdec +Subproject 194b0125d44ed960ba4d2e79bfc64633d92e1c2 |