diff options
| author | Arnaud Bailly <arnaud.oqube@gmail.com> | 2019-09-07 10:27:13 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.oqube@gmail.com> | 2019-09-07 10:27:13 +0200 |
| commit | 004db3ecd099c8377e096b4be45eab92d25787ce (patch) | |
| tree | 632c6b6338cbbeea1ba0be927e449a1bfb5fe9e6 /.bash_profile | |
| parent | 86bd595227b273fa2c0c7a6bed7445646252a191 (diff) | |
| download | dotfiles-004db3ecd099c8377e096b4be45eab92d25787ce.tar.gz | |
use local idris-mode
Diffstat (limited to '.bash_profile')
0 files changed, 0 insertions, 0 deletions