mirror of
https://github.com/nasa/trick.git
synced 2024-12-19 05:07:54 +00:00
7d5e501012
Added an option on the settings panel in TV to toggle validating addresses. Removed the now deprecated resolve_bad_refs button. refs #193 |
||
---|---|---|
.. | ||
src/trick | ||
test | ||
.gitignore | ||
build_trick | ||
build.xml | ||
makefile |