Skip to content

Set `Hint Mode` for `FinSet`.

Robbert Krebbers requested to merge robbert/issue_139 into master

This fixes issue #139 (closed).

Merge request reports