Add missed files

This commit is contained in:
Alexander Gehrke 2021-09-21 16:47:05 +02:00
parent f6c0c86580
commit 8235bc93b0
3 changed files with 28 additions and 0 deletions

View file

@ -0,0 +1,2 @@
":let g:metals_server_version = '0.10.6-M1+29-22f5a4b1-SNAPSHOT'
"let g:metals_server_version = '0.10.6-M1'