From 8b280d29e544cd1e4497c2b244ef497f4d30280d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Thu, 1 Jun 2023 16:24:56 +0200 Subject: [PATCH] update to current state --- .gitmodules | 3 +++ coccinelle | 1 + 2 files changed, 4 insertions(+) create mode 160000 coccinelle diff --git a/.gitmodules b/.gitmodules index 65d0923..f3ab12b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7357,3 +7357,6 @@ [submodule "pinentry"] path = pinentry url = ../../pool/pinentry +[submodule "coccinelle"] + path = coccinelle + url = ../../pool/coccinelle diff --git a/coccinelle b/coccinelle new file mode 160000 index 0000000..f5bac9a --- /dev/null +++ b/coccinelle @@ -0,0 +1 @@ +Subproject commit f5bac9afe63b084d4a59c9db59c7209589069565