Skip to content
Snippets Groups Projects

Document reasons for using both `exact` and `refine`.

Passed
Janno created pipeline for commit d1bec90c
, finished
Related merge request !375 to merge janno/fix-TargS-notation
4 minutes 42 seconds, queued for 1 seconds