diff options
| author | Daniel Reichelt <hacking@nachtgeist.net> | 2015-08-10 09:45:48 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2015-08-12 14:08:15 +0200 |
| commit | dc41a0018058c81ee9a0a2dc6e89f737d7c1c966 (patch) | |
| tree | da7487e33a13b73e168fdcbbf9ff628977353d9b /ui-diff.c | |
| parent | 121e65391446069a538ae8d3f7938452178de7c6 (diff) | |
Fix processing of repo.hide and repo.ignore
If the global option enable-filter-overrides is set to 1 the repo-specific
options repo.hide and repo.ignore never got processed.
Signed-off-by: Daniel Reichelt <hacking@nachtgeist.net>
Reviewed-by: John Keeping <john@keeping.me.uk>
Diffstat (limited to 'ui-diff.c')
0 files changed, 0 insertions, 0 deletions