Update frontend

bc9208bd · Kai-Oliver Prott · 6ceb0768 · 9df5bcd6 · a2ff1531
Commit bc9208bd authored Jan 05, 2020 by Kai-Oliver Prott
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

frontend/curry-base frontend/curry-base +1 -1

frontend/curry-frontend frontend/curry-frontend +1 -1

No files found.
--- a/curry-base @ 9df5bcd6
+++ b/curry-base @ 9df5bcd6
-Subproject commit 9413845e34fe9054867ee58d6ecef843d65b82c2
+Subproject commit 9df5bcd6e8e4da2e9d812382df1465642063b31c
--- a/curry-frontend @ a2ff1531
+++ b/curry-frontend @ a2ff1531
-Subproject commit d12cd3df0cd0959b821affbc2f58a4f0a69cdbc7
+Subproject commit a2ff153129fb732e3af398388a9227279e997335