mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
to make it more compatible with SPICE by keeping it case-sensitive and avoiding a number for the first character.
to make it more compatible with SPICE by keeping it case-sensitive and avoiding a number for the first character.