Link some "to do"s in the dev manual.
commitde0429cb51489d77923d438e51b4f3b090070560
authorM. Eric Irrgang <ericirrgang@gmail.com>
Thu, 26 Dec 2019 14:37:36 +0000 (26 17:37 +0300)
committerEric Irrgang <ericirrgang@gmail.com>
Mon, 30 Dec 2019 10:49:35 +0000 (30 11:49 +0100)
treec0cc31fdc4e5f0404fea32f63bc93f65f49873b3
parentdc37a4e7938d2ba5f4846458e285d087472398de
Link some "to do"s in the dev manual.

Replace some RST comment blocks with `todo` directives and include
links to tracked issues.

Change-Id: I87631676033f241c2ea0cf79cf876ed08281e654
docs/dev-manual/tools.rst