Remove unnecessary comments in .gitignore

crytic · Mar 14, 2024 · b360c16 · b360c16
1 parent f9087f8
commit b360c16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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