diff bin/wgrep.py @ 757:af7b427b3b83

print config option
author Jeff Hammel <k0scist@gmail.com>
date Thu, 06 Aug 2015 18:06:35 -0700
parents f3ab51c79813
children
line wrap: on
line diff