Skip to content

fix typo in -d> docs

Ralf Jung requested to merge ralf/discrete into master

At least I think this is just a typo.

Cc @robbertkrebbers @jjourdan @Blaisorblade

Merge request reports