diff src/RegionIndices/RegionIndices.jl @ 434:648a36ebac99 feature/lazy_identity

Change name from LazyIdentity to IdentityMapping
author Jonatan Werpers <jonatan@werpers.com>
date Mon, 19 Oct 2020 09:51:56 +0200
parents 91e015880ae6
children 011ca1639153
line wrap: on
line diff