-
Carsten Gräser authored
We decided to drop this and add all its methods to the basis directly. This has been implemented and the removal of the global index set was announced more than a year ago. Unfortunately it was not formally marked as deprecated.
965677de