Minor improvements for docs

This commit is contained in:
Ivan Kravets
2019-12-02 19:28:21 +02:00
parent 4f1ccfe58f
commit d901cc875a

2
docs

Submodule docs updated: ad87be4bdd...2589fe1fbe