# HG changeset patch # User HackBot # Date 1481917689 0 # Node ID 4139a6b6fb947fb47a43b6e7b39de70fc765cbb4 # Parent 9036010405ade39e6d2972873a6b51bdcc98ef74 ` sed -i "s/ERsi/ERlis/" bin/grwfi diff -r 9036010405ad -r 4139a6b6fb94 bin/grwfi --- a/bin/grwfi Fri Dec 16 19:46:50 2016 +0000 +++ b/bin/grwfi Fri Dec 16 19:48:09 2016 +0000 @@ -1,1 +1,1 @@ -grep -ERsi "$@" wisdom/* +grep -ERlis "$@" wisdom/*