yann@924: menu "Debug facilities"
yann@924: source config.gen/debug.in
yann@924: endmenu