diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-07-19 21:22:58 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-07-19 21:22:58 (GMT) |
| commit | 49f53cc108100de4a696d64877979e27eaf2a28a (patch) | |
| tree | f23f85c4c296682668a735752fb22c09295edab4 /config/global.in | |
| parent | 503b29d12eb78864296f7d5921d8362e7987aab8 (diff) | |
Split-up download and extract options into two separate files, because download options are begining to be numerous.
/trunk/config/global/extract.in | 193 1 192 0 ----------------------------------------------
/trunk/config/global/download.in | 52 1 51 0 ------------
/trunk/config/global.in | 3 2 1 0 +
3 files changed, 4 insertions(+), 244 deletions(-)
Diffstat (limited to 'config/global.in')
| -rw-r--r-- | config/global.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/global.in b/config/global.in index 82617a5..8b4219b 100644 --- a/config/global.in +++ b/config/global.in @@ -3,7 +3,8 @@ menu "Paths and misc options" source "config/global/ct-behave.in" -source "config/global/download_extract.in" +source "config/global/download.in" +source "config/global/extract.in" source "config/global/build-behave.in" source "config/global/paths.in" source "config/global/logging.in" |