mirror of
https://github.com/nasa/trick.git
synced 2025-02-02 09:18:14 +00:00
1b5ed16686
Forgot need to keep the name of the directory that houses the batch files bin, not bat.