diff options
Diffstat (limited to 'tools/setup_gjf.sh')
| -rwxr-xr-x | tools/setup_gjf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/setup_gjf.sh b/tools/setup_gjf.sh index c450811f62..119f9af3d7 100755 --- a/tools/setup_gjf.sh +++ b/tools/setup_gjf.sh @@ -17,7 +17,7 @@ set -eu # Keep this version in sync with dev-contributing.txt. -VERSION=${1:-1.6} +VERSION=${1:-1.7} case "$VERSION" in 1.3) |