From 9ce1dde7a0d5cf13c08e9cddc8aaa5f326ac05d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Magnus=20M=C3=A6hlum?= Date: Sun, 19 May 2024 11:39:20 +0200 Subject: [PATCH 1/2] Remove lingua-franca submodule --- .gitmodules | 3 --- lingua-franca | 1 - 2 files changed, 4 deletions(-) delete mode 160000 lingua-franca diff --git a/.gitmodules b/.gitmodules index 02fe196..0642a93 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ [submodule "flexpret"] path = flexpret url = git@github.com:pretis/flexpret.git -[submodule "lingua-franca"] - path = lingua-franca - url = git@github.com:lf-lang/lingua-franca.git diff --git a/lingua-franca b/lingua-franca deleted file mode 160000 index f8965b5..0000000 --- a/lingua-franca +++ /dev/null @@ -1 +0,0 @@ -Subproject commit f8965b5a039b06254aa6f48b3b37f0728d1bda42 From 61a713080c265b7cedc8c126481a9fed2ab57a88 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Magnus=20M=C3=A6hlum?= Date: Wed, 22 May 2024 10:04:21 +0200 Subject: [PATCH 2/2] Bump flexpret --- flexpret | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flexpret b/flexpret index ca8d2b7..5ed998d 160000 --- a/flexpret +++ b/flexpret @@ -1 +1 @@ -Subproject commit ca8d2b753e2a265d2d05c042453cf410ab7e9b60 +Subproject commit 5ed998ddc60afaa0b80d6255062935c471263e1c