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.
     1 menu "Debug facilities"
     2 source "config.gen/debug.in"
     3 endmenu