mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
description, because otherwise it only appears in the tech file reference, where it doesn't really belong since the labels are a user-level feature, even if they do affect extraction. The new feature of using gate attributes for parameters was added to the command description. I noticed that the tech file reference made mention of a gate label in the form of ":ext <name>=<value>", but this seems not to be implemented anywhere. At any rate, the method just committed supercedes that.