Fabio Niephaus b53bc17dd7 Allow java-version: 'dev' if version: 'dev'. ...

Fixes #30

2023-01-24 13:15:29 +01:00

..

index.js

Allow java-version: 'dev' if version: 'dev'.

2023-01-24 13:15:29 +01:00