Skip to content
GitLab

Set `Hint Mode` for `pretty`.

Merged Robbert Krebbers requested to merge robbert/pretty_hint_mode into master

Title says it all.

Merge request reports