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 /filters/html-converters/resources | |
| 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 'filters/html-converters/resources')
0 files changed, 0 insertions, 0 deletions