diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2016-06-14 21:53:00 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2016-06-14 21:53:00 +0900 |
commit | 8a90f26c8a4ac34517eeed9f3498dd790d255474 (patch) | |
tree | a0073386022fc5f78c0504ba4f625d516a15d47d /install | |
parent | 24e1fabf2e805ad28901618fafe5fd389b599b4e (diff) |
0.13.10.13.1
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.0 pre=1 || - version=0.13.0 pre=0 +[[ "$@" =~ --pre ]] && version=0.13.1 pre=1 || + version=0.13.1 pre=0 auto_completion= key_bindings= |