Change settings prefix to `prob` instead of `languageServer`
Passed
Jannik Dunkelau
created pipeline for commit
7694620c
, finished
For develop
45 seconds, queued for 3 seconds