diff options
| author | Joerg Jaspert <joerg@debian.org> | 2016-01-06 22:42:58 +0100 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2016-01-06 22:42:58 +0100 |
| commit | 42354e9abfc5c3807543b01221536c083a0f66e6 (patch) | |
| tree | 40108e53d8830d6585678048b59134acb93969a4 /.bash_profile | |
| parent | dd2273aa170686aa3988f3713f5b573881335306 (diff) | |
Add pipefail option
Diffstat (limited to '.bash_profile')
0 files changed, 0 insertions, 0 deletions