Skip to content

use src 11 for tool, but 8 for plugin/runtime#3450

Merged
parrt merged 4 commits intoantlr:masterfrom
parrt:use-java11-but-java8-runtime
Dec 31, 2021
Merged

use src 11 for tool, but 8 for plugin/runtime#3450
parrt merged 4 commits intoantlr:masterfrom
parrt:use-java11-but-java8-runtime

Commits

Commits on Dec 31, 2021