diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2016-07-16 01:06:53 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2016-07-16 01:06:53 +0900 |
commit | fccc93176bbad6658324ffe121775dc2e0d66c07 (patch) | |
tree | a30a4f35212912d4cffead501ccb2027b34ef5e5 /install | |
parent | 6439a138feff689ddf6c81c66fb7ad48d4b31a2a (diff) |
0.13.30.13.3
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.2 pre=1 || - version=0.13.2 pre=0 +[[ "$@" =~ --pre ]] && version=0.13.3 pre=1 || + version=0.13.3 pre=0 auto_completion= key_bindings= |