K 10
svn:author
V 5
lioux
K 8
svn:date
V 27
2002-05-28T16:33:27.000000Z
K 7
svn:log
V 107
After update of linux_base to 7.1 in rev 1.60, correct detection
of strip tool since it is not part of 7.1

END