Skip to content
Snippets Groups Projects

Rename `map_preimage` into `map_preimg` (to be consistent with `dom`).

Merged Robbert Krebbers requested to merge robbert/map_preimg into master
Loading