Merge pull request #1527 from jts-arm/docs
Fix typo in documentation page title
commit 55f3bc2d06032b3898ded7d4122a96355409d230
2 parents b73b60e + ef9b68e
@Dimitris Papastamos Dimitris Papastamos authored on 17 Aug 2018
GitHub committed on 17 Aug 2018
Showing 1 changed file
View
docs/psci-pd-tree.rst