Move back mvn script into the mvn/bin folder to avoid conflicts, fixes #787#803

Merged

gnodet merged 1 commit intoapache:masterfrom gnodet:split-back-mvn

Mar 10, 2023

+32-21

Commits on Mar 10, 2023

Move back mvn script into the mvn/bin folder to avoid conflicts, fixes apache#787
gnodet
committed