mirror of
https://github.com/nasa/trick.git
synced 2025-02-14 14:32:01 +00:00
* Updated to use default-jdk package instead of openjdk-11-jdk for ubuntu. * Added a note for using a specific JDK version for ubuntu. * Fixed typo