diff options
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 82617a5c..8b4219b3 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" |