support settings through `didChangeConfiguration` notification#1103

Merged

rgrinberg merged 6 commits intoocaml:masterfrom aspeddro:add-config

May 31, 2023

+459-33

Commits on May 31, 2023

support didChangeConfiguration notification

aspeddro
authored and
rgrinberg
committed
refactor

aspeddro
authored and
rgrinberg
committed
add tests

aspeddro
authored and
rgrinberg
committed
update CHANGES.md

aspeddro
authored and
rgrinberg
committed
update README.md

aspeddro
authored and
rgrinberg
committed
update config.md

aspeddro
authored and
rgrinberg
committed