| commit | 5eac7bd14d561de25cf850d20e853233ce5afed7 | [log] [tgz] |
|---|---|---|
| author | jaquerinte <ivanrodriguezferrandez@gmail.com> | Tue May 18 20:53:31 2021 +0200 |
| committer | jaquerinte <ivanrodriguezferrandez@gmail.com> | Tue May 18 20:53:31 2021 +0200 |
| tree | ee6a456458d424509ba1e734058af64f23d6fbc9 | |
| parent | cea390ec0a2a20786caaca1cfae3247039b38486 [diff] |
caravel changes
diff --git a/caravel b/caravel index 576242b..13f2590 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit 576242b3e7ffdf58c9d3154ad7cbb39cb73b7aeb +Subproject commit 13f2590e4b3a74b910dac56a6b757f5a66fd5212