summary refs log tree commit diff
path: root/filters/html-converters/resources
diff options
context:
space:
mode:
authorLukas Fleischer <cgit@cryptocrack.de>2015-01-29 12:52:49 +0100
committerJason A. Donenfeld <Jason@zx2c4.com>2015-01-29 16:41:14 +0100
commitc58cec9dff273b44c428cfaee24e5e3743c0034e (patch)
tree7302ee9868fa94b9cf64a2a361294ad2e4bc360f /filters/html-converters/resources
parent1a2eeb94d42b983213076906eb5c5b85452b2c30 (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