mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-28 17:15:13 +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.