Skip to content

Rename ServerMain to MavenDaemon to be more explicit, fixes #118#120

Merged
ppalaga merged 1 commit intoapache:masterfrom gnodet:issue-118Oct 21, 2020

Commits

Commits on Oct 21, 2020