# HG changeset patch
# User HackBot
# Date 1481917610 0
# Node ID 9036010405ade39e6d2972873a6b51bdcc98ef74
# Parent  5c540b41610385a5f0b83e71111bd51a4d9e61d3
<hppavilion[0]> mkx bin/grwfi//grep -ERsi "$@" wisdom/*

diff -r 5c540b416103 -r 9036010405ad bin/grwfi
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/grwfi	Fri Dec 16 19:46:50 2016 +0000
@@ -0,0 +1,1 @@
+grep -ERsi "$@" wisdom/*