mirror of
https://github.com/nasa/trick.git
synced 2025-01-08 14:02:44 +00:00
38b5c2092f
Added an option on the settings panel in TV to toggle validating addresses. Removed the now deprecated resolve_bad_refs button. refs #193 Conflicts: trick_source/java/src/trick/common/utils/VariableServerConnection.java |
||
---|---|---|
.. | ||
src/trick | ||
test | ||
.gitignore | ||
build_trick | ||
build.xml | ||
makefile |