Skip to content

Disable inlay hints under ghost location#1290

Merged
rgrinberg merged 3 commits intoocaml:masterfrom
awilliambauer:no-inlay-hints-under-ghost
May 29, 2024
Merged

Disable inlay hints under ghost location#1290
rgrinberg merged 3 commits intoocaml:masterfrom
awilliambauer:no-inlay-hints-under-ghost

Commits

Commits on May 21, 2024

Commits on May 29, 2024