diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-11-08T11·32+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-11-08T11·32+0000 |
| commit | d6db574ec127757c05c24f53c71e4116caaa762b (patch) | |
| tree | 76f5aad1f8da79dbedff4cbd2081360a7f622bb9 /doc/manual/manual.xml | |
| parent | b8aaef5e4e25daa838157c7b3a8165b633901646 (diff) | |
* Check exit status of pipe elements.
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions