config/tools.in
author "Titus von Boxberg" <tvb377@gmx.de>
Wed Feb 03 00:24:24 2010 +0100 (2010-02-03)
branch1.6
changeset 1824 29f23b97a4ca
permissions -rw-r--r--
scripts/samples: use the computed '$(sed)', not 'sed'
(transplanted from 26974c3670fdb7f6896b196e08724f91f1a13059)
yann@924
     1
menu "Tools facilities"
yann@924
     2
source config.gen/tools.in
yann@924
     3
endmenu