Files

122 B

effect
effect
patch

Reuse existing references when duplicate identifiers have the same representation, closes #1927.