mirror of
https://github.com/nasa/trick.git
synced 2025-03-01 11:41:40 +00:00
Fixes #752 (cherry picked from commit bde2ec515829b64c786db09309a425eba757a5b1) Conflicts: libexec/trick/convert_swig libexec/trick/make_makefile_swig