Skip to content
Snippets Groups Projects

[disc] Remove old enum Discretization method that had been deprecated

Merged [disc] Remove old enum Discretization method that had been deprecated
cleanup/remove-discretization-method-enum into master
Merged Timo Koch requested to merge cleanup/remove-discretization-method-enum into master