David B. Kinder 8ee1615e51 doc: fix issues from moving tools to misc/tools ...

PR #3483 cleaned up the project root folder and moved stuff that was in
/tools into a new /misc folder.  There were a few references to
the old /tools folder missed in that update, addressed in this PR.

Signed-off-by: David B. Kinder <david.b.kinder@intel.com>

2019-07-29 14:23:04 -07:00

2.7 KiB

Raw Blame History

View Raw