From 13dbf4a8c1faab018820b8b2b6d02e7923ea9dac Mon Sep 17 00:00:00 2001 From: Sanchayan Maity Date: Wed, 8 Dec 2021 20:57:49 +0530 Subject: [PATCH] git: ignore: Ignore mediasoup directories We want ripgrep to ignore mediasoup while grepping. --- git/.config/git/ignore | 1 + 1 file changed, 1 insertion(+) diff --git a/git/.config/git/ignore b/git/.config/git/ignore index ea25b4e..efc2161 100644 --- a/git/.config/git/ignore +++ b/git/.config/git/ignore @@ -10,3 +10,4 @@ gdb.txt .gdbinit* .gdb* gdb-*.txt +mediasoup*