mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-10-06 09:53:00 +02:00
222 from Sean Cross. Corrected a few places where the blanket conversion "Region"->"ExtRegion" picked up some comment lines that were unrelated to the structure name.