diff options
Diffstat (limited to 'metals-emacs.sh')
| -rwxr-xr-x | metals-emacs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metals-emacs.sh b/metals-emacs.sh index 5230d48dfc56..f248ea26a4b5 100755 --- a/metals-emacs.sh +++ b/metals-emacs.sh @@ -2,4 +2,4 @@ set -e -_METALS_CLIENT=emacs metals-client $@ +_METALS_CLIENT=emacs metals-client "$@" |