Skip to content
GitLab

Set `Hint Mode` for `FinSet`.

Merged Robbert Krebbers requested to merge robbert/issue_139 into master

This fixes issue #139 (closed).

Merge request reports