diff options
author | Lukas Fleischer <cgit@cryptocrack.de> | 2015-01-29 12:52:49 +0100 |
---|---|---|
committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2015-01-29 16:41:14 +0100 |
commit | c58cec9dff273b44c428cfaee24e5e3743c0034e (patch) | |
tree | 7302ee9868fa94b9cf64a2a361294ad2e4bc360f /ui-tag.c | |
parent | 1a2eeb94d42b983213076906eb5c5b85452b2c30 (diff) |
Add repo.hide and repo.ignore
These options can be used to hide a repository from the index or
completely ignore a repository, respectively. They are particularly
useful when used in combination with scan-path.
Signed-off-by: Lukas Fleischer <cgit@cryptocrack.de>
Diffstat (limited to 'ui-tag.c')
0 files changed, 0 insertions, 0 deletions