config/debug.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Aug 10 13:25:52 2010 +0200 (2010-08-10)
changeset 2075 edc7c7958e80
parent 924 941294c6fcf1
permissions -rw-r--r--
scripts: better sanitise the patch names

When generating the fixes-patches, better sanitise the generated
file names, as it seems to raise a few issues for some people.
yann@924
     1
menu "Debug facilities"
yann@1870
     2
source "config.gen/debug.in"
yann@924
     3
endmenu