From a63a14b87f6b798b58b343270776203846712c5a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Wed, 28 Jun 2023 14:00:46 +0200 Subject: [PATCH] update to current state --- .gitmodules | 2 +- grep | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index 51576c5..2c86a58 100644 --- a/.gitmodules +++ b/.gitmodules @@ -780,7 +780,7 @@ url = ../../pool/graphviz [submodule "grep"] path = grep - url = ../../pool/grep + url = ../../ALP-pool/grep [submodule "groff"] path = groff url = ../../pool/groff diff --git a/grep b/grep index c18298c..da81234 160000 --- a/grep +++ b/grep @@ -1 +1 @@ -Subproject commit c18298c1b270f1ba4e917db639335cfbdabe7afd +Subproject commit da812340d265ab6fd553f6cbba1a50cc2d5fe869