Skip to content
Snippets Groups Projects

hints docs: unify the descriptions of `hints.root()`

Merged Vladimír Čunát requested to merge hints-doc into master
  1. Jul 30, 2018
Loading