From b360c164ad66b047e2ab29910c2669d744f03449 Mon Sep 17 00:00:00 2001 From: Vara Prasad Bandaru Date: Thu, 14 Mar 2024 22:40:18 +0530 Subject: [PATCH] Remove unnecessary comments in .gitignore --- scripts/update_readmes.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update_readmes.sh b/scripts/update_readmes.sh index 0be168a..6e21897 100755 --- a/scripts/update_readmes.sh +++ b/scripts/update_readmes.sh @@ -49,7 +49,7 @@ for LIBRARY in *; do echo cat src/*.rs | sed -n '/^[a-z_:]*_lint! {$/,/^}$/p' | - sed -n 's,^[[:space:]]*///\([[:space:]]\(.*\)\)\?$,\2,;T;p' + gsed -n 's,^[[:space:]]*///\([[:space:]]\(.*\)\)\?$,\2,;T;p' ) > README.md # prettier --write README.md