Skip to content

Set `Hint Mode` for `pretty`.

Robbert Krebbers requested to merge robbert/pretty_hint_mode into master

Title says it all.

Merge request reports