Skip to content
GitLab

fix typo in -d> docs

Merged Ralf Jung requested to merge ralf/discrete into master

At least I think this is just a typo.

Cc @robbertkrebbers @jjourdan @Blaisorblade