Skip to content

Merge pull request #311 from dkpro/feature/310-Add-short_name-propert… #322

Merge pull request #311 from dkpro/feature/310-Add-short_name-propert…

Merge pull request #311 from dkpro/feature/310-Add-short_name-propert… #322

build (3.10)

succeeded May 4, 2024 in 43s