Remove language server log preference#635

fstasi merged 1 commit intomainarduino/arduino-ide:mainfrom

remove-language-server-logarduino/arduino-ide:remove-language-server-logCopy head branch name to clipboard