mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-10-06 09:53:00 +02:00
number from the git repository, which is overall more reliable than the version number, but mainly to support a common method across the open source tools for providing information to builds like open_pdks that may need to know what version of every tool was used for the build.