summaryrefslogtreecommitdiff
path: root/bash-completion.sh
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.oqube@gmail.com>2019-09-07 10:27:13 +0200
committerArnaud Bailly <arnaud.oqube@gmail.com>2019-09-07 10:27:13 +0200
commit004db3ecd099c8377e096b4be45eab92d25787ce (patch)
tree632c6b6338cbbeea1ba0be927e449a1bfb5fe9e6 /bash-completion.sh
parent86bd595227b273fa2c0c7a6bed7445646252a191 (diff)
downloaddotfiles-004db3ecd099c8377e096b4be45eab92d25787ce.tar.gz
use local idris-mode
Diffstat (limited to 'bash-completion.sh')
0 files changed, 0 insertions, 0 deletions