commit | 88ac292f77e8b9fae645b87fd8a10ab9a431b1a9 | [log] [tgz] |
---|---|---|
author | Josh Gao <josh@jmgao.dev> | Thu Dec 12 23:01:12 2019 -0800 |
committer | Ioannis Glaropoulos <Ioannis.Glaropoulos@nordicsemi.no> | Fri Dec 13 18:47:23 2019 +0100 |
tree | c0f30fed60d57c0579706e13707184357f22a680 | |
parent | 95743561a67be805cb7795999684533429e712ba [diff] |
doc: s/devicetree/device tree/ Commit 27e5dd13 fixed a bunch of uses of "device tree" in the documentation, but accidentally hit the part of the documentation that stated that "devicetree" should be preferred over "device tree". Signed-off-by: Josh Gao <josh@jmgao.dev>