mirror of
https://github.com/nasa/trick.git
synced 2025-06-01 15:10:59 +00:00
remove makefile bug
This commit is contained in:
parent
9394b4d7e9
commit
c89b66b5ce