Skip to content
GitLab
Explore
Sign in
Software
ArmarX
ArmarXCore
Issues
#91
Remove `armarx-dev`
This still confuses people from time to time and was superseded by Axii.