Skip to content

Disable trigger-character completions and signature help in comments#1246

Merged
rgrinberg merged 1 commit intoocaml:masterfrom awilliambauer:improve-comment-completionMay 11, 2024

Commits

Commits on May 11, 2024