mirror of
https://github.com/nasa/trick.git
synced 2024-12-18 20:57:55 +00:00
bff1967d4d
Added an --enable-java=(yes|no) and --disable-java options to the configure script. If java is disabled then the java GUIs are not compiled. |
||
---|---|---|
.. | ||
doc/trick | ||
man/man1 | ||
trick |