Skip to content

Let eglot-jl.jl determine the default project path#9

Merged
non-Jedi merged 2 commits intonon-Jedi:masterfrom
ffevotte:master
May 14, 2020
Merged

Let eglot-jl.jl determine the default project path#9
non-Jedi merged 2 commits intonon-Jedi:masterfrom
ffevotte:master

Commits

Commits on May 11, 2020

Commits on May 13, 2020