Skip to content

fix typo in -d> docs

Ralf Jungrequested to merge
ralf/discrete into master

At least I think this is just a typo.

Cc @robbertkrebbers @jjourdan @Blaisorblade

Merge request reports