mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 17:39:28 +02:00
in the input. The name of one was being modified but was being right-justified into the string, resulting in a name starting with many space characters. Also: Fixed an issue with extresist where a label that ends up with an empty string can become a node with an empty string name in the .res.ext file output.