mirror of
https://github.com/nasa/trick.git
synced 2024-12-19 21:27:54 +00:00
Merge tag '17.0.2'
Removes hard coded prefix
This commit is contained in:
commit
efe197ca6d
Removes hard coded prefix