Java11

Merged
#19 · Created  · Last updated

Merged pull request

Merged in java11 (pull request #19)

438b09f·Author: ·Closed by: ·2019-03-22

Description

  • Upgrade to Java 11

  • Update version of Maven Javadoc plugin

  • Remove Javadoc generation from pom.xml

  • EditorPanel extension for mapping functionality

0 attachments

0 comments

Loading commits...