mirror of
https://github.com/nasa/trick.git
synced 2025-02-04 10:10:39 +00:00
1f5be950e4
Changed the java version extractor to look for an optional decimal and number past the decimal. Now it can properly find "9" as the version number.