Commit 8bb64a6f authored by Dennis Gläser's avatar Dennis Gläser
Browse files

Merge branch 'feature/disc-string' into 'master'

[disc] Add toString function for discretization method

See merge request !2724
parents 7d845bf0 a216303c
Pipeline #6223 canceled with stages
in 0 seconds