Change publishing to maven as required by maven.#182
Merged
nicost merged 3 commits intomicro-manager:mainfrom Sep 7, 2025
Merged
Change publishing to maven as required by maven.#182nicost merged 3 commits intomicro-manager:mainfrom
nicost merged 3 commits intomicro-manager:mainfrom