Update version3 branch

f6eea3fd · Kai-Oliver Prott · e629a5ae · bdeaedbb · 924cb346 · bdeaedbb
Commit f6eea3fd authored Oct 31, 2019 by Kai-Oliver Prott
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

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

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

lib-trunk lib-trunk +1 -1

No files found.
--- a/curry-base @ bdeaedbb
+++ b/curry-base @ bdeaedbb
-Subproject commit 924cb3464e88876c5942a42a06a9828442791236
+Subproject commit bdeaedbbdbb91f836605f90c74168650c8e459f7
--- a/curry-frontend @ 1ce872e2
+++ b/curry-frontend @ 1ce872e2
-Subproject commit e7f7ec6e338d9e18cf8acb43db1c3f46d8abedcc
+Subproject commit 1ce872e256d6642b7d54ce5f9021f156fd4edbc6
--- a/lib-trunk @ 27c296c6
+++ b/lib-trunk @ 27c296c6
-Subproject commit ecf5f3e86a480557f38acd628e0cfce11bbe792f
+Subproject commit 27c296c630d860888b61220681788674d664e774