diff options
| author | Georgios Andreadis <G.Andreadis@student.tudelft.nl> | 2019-02-11 09:12:01 +0100 |
|---|---|---|
| committer | Georgios Andreadis <G.Andreadis@student.tudelft.nl> | 2019-02-11 09:12:01 +0100 |
| commit | 7d9ab456a54674112760af1b0cbc6a1b2e587ba1 (patch) | |
| tree | 5cd57af8c11d939c0ed917862878228d793edd92 | |
| parent | 66d9d8a32d3092c331d2c5d46ba2b04716f7062b (diff) | |
Update frontend
| m--------- | opendc-frontend | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/opendc-frontend b/opendc-frontend -Subproject 3dd0cd6f4f4279e5c13354d36f57a0ca7233669 +Subproject a45da32a5d45370a865f683061dc801d4783da2 |