Add config option 'repo.section'

This option can be used to specify the section name for the current
repository.

Signed-off-by: Lars Hjemli <hjemli@gmail.com>
This commit is contained in:
Lars Hjemli
2009-08-23 23:00:28 +02:00
parent e7af002d5c
commit 3939854578
2 changed files with 5 additions and 0 deletions

View File

@@ -315,6 +315,9 @@ repo.snapshots::
A mask of allowed snapshot-formats for this repo, restricted by the
"snapshots" global setting. Default value: <snapshots>.
repo.section::
Override the current section for this repository. Default value: none.
repo.source-filter::
Override the default source-filter. Default value: <source-filter>.