Mentions légales du service

Skip to content

a built-in way to ignore elaboration for unconvincing performance reasons

SCHERER Gabriel requested to merge gscherer/inferno:map_ignore into master

I mostly did this as a thought experiment after the discussion in !34 (merged)

(cc @fpottier)

Merge request reports