armarx/meta/ArmarXDoc: Declared deprecated in favor of armarx/meta/documentation (!385) · Merge requests · Software / ArmarX / Meta / Axii · GitLab

Rainer Kartmann requested to merge module/armarx-doc into main Dec 11, 2022

Add new module armarx/meta/documentation for sw/armarx/meta/documentation>
Deprecate module armarx/meta/ArmarXDoc

Edited Dec 11, 2022 by Rainer Kartmann