mirror of
https://github.com/nasa/trick.git
synced 2025-01-25 05:46:58 +00:00
1b5ed16686
Forgot need to keep the name of the directory that houses the batch files bin, not bat.