Skip to content

config.md: update to include inlay hints#1235

Merged
rgrinberg merged 1 commit intoocaml:masterfrom
jchavarri:update-configmd
Apr 1, 2024
Merged

config.md: update to include inlay hints#1235
rgrinberg merged 1 commit intoocaml:masterfrom
jchavarri:update-configmd

Commits

Commits on Mar 18, 2024