API doc: use minus sign (U+2212) where appropriate instead of `-`
This page took 0.057687 seconds and 3 git commands to generate.