diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-14 11:42:56 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-14 11:42:56 +0200 |
| commit | 3b713427c07f042852c826efb0010e4bb3404b0c (patch) | |
| tree | 664918bc4a11cab4f5ac9894e7b16a083f03e2a2 /.GHC/ghci.conf | |
| parent | export PYTHONSTARTUP (diff) | |
| download | linux-home-3b713427c07f042852c826efb0010e4bb3404b0c.tar.gz linux-home-3b713427c07f042852c826efb0010e4bb3404b0c.zip | |
set -o errexit -o nounset -o pipefail in functions
Diffstat (limited to '.GHC/ghci.conf')
0 files changed, 0 insertions, 0 deletions