From 653a2a804e92b98e78d08f1455f71c3311aaf5fc Mon Sep 17 00:00:00 2001 From: Jan-Henrik Bruhn Date: Wed, 4 Dec 2019 00:04:30 +0100 Subject: [PATCH] Use my own avrlib --- .gitmodules | 4 ++-- avrlib | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitmodules b/.gitmodules index 1f14d08..4497523 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "stmlib"] path = stmlib - url = https://github.com/jhbruhn/stmlib.git + url = https://github.com/jhbruhn/stmlib.git [submodule "avrlib"] path = avrlib - url = https://github.com/pichenettes/avril.git + url = https://github.com/jhbruhn/avril.git diff --git a/avrlib b/avrlib index 276b288..fe60004 160000 --- a/avrlib +++ b/avrlib @@ -1 +1 @@ -Subproject commit 276b2887e4110ca913294fcbb313163dfb28a448 +Subproject commit fe600046c45f2479c4978a263dc45e772e760875