]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2019-07-24-doc-html-cleanup'
authorTom Rini <trini@konsulko.com>
Wed, 24 Jul 2019 17:15:19 +0000 (13:15 -0400)
committerTom Rini <trini@konsulko.com>
Wed, 24 Jul 2019 17:15:19 +0000 (13:15 -0400)
- Convert our docs to Sphinx


Trivial merge