mirror of
https://github.com/nasa/trick.git
synced 2025-01-29 23:54:10 +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