From cd8285037e8397d9a37ad8af8be81c9f8a0d4d94 Mon Sep 17 00:00:00 2001 From: Prabir Date: Tue, 31 Dec 2019 13:53:43 -0800 Subject: update reason-language-server to v1.7.5 --- installer/install-reason-language-server.cmd | 2 +- installer/install-reason-language-server.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/installer/install-reason-language-server.cmd b/installer/install-reason-language-server.cmd index 64b4cf8..9645260 100644 --- a/installer/install-reason-language-server.cmd +++ b/installer/install-reason-language-server.cmd @@ -1,6 +1,6 @@ @echo off -curl -L -o rls-windows.zip "https://github.com/jaredly/reason-language-server/releases/download/1.7.4/rls-windows.zip" +curl -L -o rls-windows.zip "https://github.com/jaredly/reason-language-server/releases/download/1.7.5/rls-windows.zip" call "%~dp0\run_unzip.cmd" rls-windows.zip del rls-windows.zip diff --git a/installer/install-reason-language-server.sh b/installer/install-reason-language-server.sh index b3125d1..f5af8c7 100755 --- a/installer/install-reason-language-server.sh +++ b/installer/install-reason-language-server.sh @@ -15,7 +15,7 @@ darwin) ;; esac -version="1.7.4" +version="1.7.5" url="https://github.com/jaredly/reason-language-server/releases/download/$version/rls-$os.zip" curl -LO "$url" unzip "rls-$os.zip" -- cgit v1.2.3-54-g00ecf