From b7addb86131cf176b47a3a40774911063c3072581b0cd4c80c12598be46dedf8 Mon Sep 17 00:00:00 2001 From: Max Lin Date: Tue, 19 Aug 2025 18:22:01 +0800 Subject: [PATCH] add ripgrep --- .gitmodules | 4 ++++ ripgrep | 1 + 2 files changed, 5 insertions(+) create mode 160000 ripgrep diff --git a/.gitmodules b/.gitmodules index d335c35..5a07fc6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -26258,3 +26258,7 @@ path = fractal url = ../../pool/fractal branch = leap-16.0 +[submodule "ripgrep"] + path = ripgrep + url = ../../pool/ripgrep + branch = leap-16.0 diff --git a/ripgrep b/ripgrep new file mode 160000 index 0000000..15e234f --- /dev/null +++ b/ripgrep @@ -0,0 +1 @@ +Subproject commit 15e234f667c403328a5147802b08401165d8b028c0b1712e5917cc84d339dba1 -- 2.51.1