| commit | 93d496a560cdcd4f72c8dee1b0b2efa324e1c3bb | [log] [tgz] |
|---|---|---|
| author | Petr Baudis <pasky@suse.cz> | Sat May 19 02:13:29 2007 +0200 |
| committer | Junio C Hamano <junkio@cox.net> | Sun May 20 20:31:50 2007 -0700 |
| tree | 24e8b184107429905eb438c63f3b63d0bf788026 | |
| parent | 77e4e8bd9b862d7285ca408d5e6dfc2134dba911 [diff] |
git-rev-list: Add regexp tuning options This patch introduces --extended-regexp and --regexp-ignore-case options to tune what kind of patterns the pattern-limiting options (--grep, --author, ...) accept. Signed-off-by: Petr Baudis <pasky@suse.cz> Signed-off-by: Junio C Hamano <junkio@cox.net>