config/tools.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Oct 30 19:49:51 2009 +0100 (2009-10-30)
changeset 1618 7f52e1cca71e
permissions -rw-r--r--
scripts: fix updating config.{sub,guess}
     1 menu "Tools facilities"
     2 source config.gen/tools.in
     3 endmenu