| commit | cea390ec0a2a20786caaca1cfae3247039b38486 | [log] [tgz] |
|---|---|---|
| author | jaquerinte <ivanrodriguezferrandez@gmail.com> | Mon May 17 09:15:05 2021 +0200 |
| committer | jaquerinte <ivanrodriguezferrandez@gmail.com> | Mon May 17 09:15:05 2021 +0200 |
| tree | e400731b15628b60f7f43db2fee08134c00e7820 | |
| parent | b5c03a5d7aa3a5ac9112242056079e9989cfc57d [diff] |
change in caravel
diff --git a/caravel b/caravel index 1168e42..576242b 160000 --- a/caravel +++ b/caravel
@@ -1 +1 @@ -Subproject commit 1168e42df7187107539f809402cbd6b38e8c7c85 +Subproject commit 576242b3e7ffdf58c9d3154ad7cbb39cb73b7aeb