diff options
| author | Arnaud Bailly <arnaud.oqube@gmail.com> | 2018-06-14 09:21:05 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.oqube@gmail.com> | 2018-06-14 09:21:29 +0200 |
| commit | a204a4e7b1f475da2c1c4a4253463ae0d1bb092e (patch) | |
| tree | 80284ee4acb93511bf669271e5ec16ff46fc4978 /.bash_profile | |
| parent | fde585cfa7f4fde437adb3627c5cb738abe7e668 (diff) | |
| download | dotfiles-a204a4e7b1f475da2c1c4a4253463ae0d1bb092e.tar.gz | |
remove idris from install packages
Diffstat (limited to '.bash_profile')
0 files changed, 0 insertions, 0 deletions