# HG changeset patch # User Steve Losh # Date 1348342800 14400 # Node ID a8b6ed833a30a9069bdf3e31807909eba6b0f81f # Parent f393d2ad42d76a31b1ebf2ec4a99df5ff18f9969 Remove --stdin for now. diff -r f393d2ad42d7 -r a8b6ed833a30 ffind --- a/ffind Sat Sep 22 15:31:16 2012 -0400 +++ b/ffind Sat Sep 22 15:40:00 2012 -0400 @@ -100,9 +100,6 @@ p.add_option('-v', '--invert', action='store_true', default=False, help='invert match') - p.add_option('--stdin', - action='store_true', default=False, - help='restrict possible matches to paths given on stdin') # Case sensitivity g = OptionGroup(p, "Configuring Case Sensitivity")