Closed kohlhase closed 7 years ago
see https://github.com/OpenMath/OM3/issues/79
it is deprecated, and I have removed CDUses from the CDs.
see https://github.com/OpenMath/OM3/issues/79