aboutsummaryrefslogtreecommitdiff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-01-19 09:01:28 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-01-19 09:01:28 +0000
commit699989b2168bed80cc1383e5bf3c8326d55a3cc1 (patch)
treeef2d0fbcd90dac62f5568b597bfc32f07491c180 /doc/manual
parent3a4a4aaa8820e3483b64b3e2d25ee523c0a0cb44 (diff)
* Ignore exit code from strip.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions