config/global.in
changeset 722 37968404e9b9
parent 693 458facedc485
child 2040 c0162f201864
     1.1 --- a/config/global.in	Sat Jul 19 21:22:58 2008 +0000
     1.2 +++ b/config/global.in	Fri Jul 25 14:08:03 2008 +0000
     1.3 @@ -3,10 +3,10 @@
     1.4  menu "Paths and misc options"
     1.5  
     1.6  source "config/global/ct-behave.in"
     1.7 +source "config/global/paths.in"
     1.8  source "config/global/download.in"
     1.9  source "config/global/extract.in"
    1.10  source "config/global/build-behave.in"
    1.11 -source "config/global/paths.in"
    1.12  source "config/global/logging.in"
    1.13  
    1.14  endmenu