diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2016-08-14 18:06:00 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2016-08-14 18:10:21 +0900 |
commit | c4c92142a6001936420096d9f8e335cb25e116aa (patch) | |
tree | d3e9b332b0a99831d2ff58bc48170d293f2dd7d0 /install | |
parent | d4b63381029b477d064d4c3ff38f4efb89ae950d (diff) |
0.13.40.13.4
Diffstat (limited to 'install')
-rwxr-xr-x | install | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,8 +2,8 @@ set -u -[[ "$@" =~ --pre ]] && version=0.13.3 pre=1 || - version=0.13.3 pre=0 +[[ "$@" =~ --pre ]] && version=0.13.4 pre=1 || + version=0.13.4 pre=0 auto_completion= key_bindings= |