Add missed “debug_tool” options

This commit is contained in:
Ivan Kravets
2017-05-18 21:59:42 +03:00
parent 41f1806009
commit 90fc207bf2

2
docs

Submodule docs updated: 2632e42e8a...8354501632