mirror of
https://github.com/nasa/trick.git
synced 2024-12-19 05:07:54 +00:00
12e74744b6
The two view menu toggles are now checkbox menu items. The default state is enabled and is toggled when the option is selected. |
||
---|---|---|
.. | ||
src/trick | ||
test | ||
.gitignore | ||
build_trick | ||
build.xml | ||
makefile |