cli: Add option to force names to be treated as filter
authorMichael Hanselmann <hansmi@google.com>
Thu, 7 Apr 2011 15:35:44 +0000 (17:35 +0200)
committerMichael Hanselmann <hansmi@google.com>
Mon, 18 Apr 2011 15:55:40 +0000 (17:55 +0200)
commit442587bf0ae419e26f0ad761555be6da74b9be98
tree0be4fb7fef837c3a63eb8f25ce7de5997c042310
parentb107fe050d0bce1c2c9e81812409830cc2b4526a
cli: Add option to force names to be treated as filter

Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
lib/cli.py