config/debug.in
changeset 1870 a4c4e51aa541
parent 924 941294c6fcf1
     1.1 --- a/config/debug.in	Mon Oct 13 20:35:18 2008 +0000
     1.2 +++ b/config/debug.in	Mon Mar 29 20:24:50 2010 +0200
     1.3 @@ -1,3 +1,3 @@
     1.4  menu "Debug facilities"
     1.5 -source config.gen/debug.in
     1.6 +source "config.gen/debug.in"
     1.7  endmenu