diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-28 09:00:30 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-08-28 09:00:30 +0300 |
commit | c479d432d3a9e4713358ba67495c0730a1aa5534 (patch) | |
tree | 21ecc53e41984bbb82d56ee5020c455bb3105fb0 /.bash_profile | |
parent | .vimrc: smart search (diff) | |
download | linux-home-c479d432d3a9e4713358ba67495c0730a1aa5534.tar.gz linux-home-c479d432d3a9e4713358ba67495c0730a1aa5534.zip |
ghci.conf: :set -XTupleSections
Diffstat (limited to '.bash_profile')
0 files changed, 0 insertions, 0 deletions