diff options
| author | davidcunado-arm <david.cunado@arm.com> | 2018-03-21 19:20:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-21 19:20:43 +0000 |
| commit | 60bb5258f9e52ed3454923ac35d214ab995ad3e6 (patch) | |
| tree | 2b0258ab1079becf409d95b454347bfbd537b999 /docs/platform-interrupt-controller-API.rst | |
| parent | 6d8db46bec56d3eec3e112886a47b41b07cd4bbe (diff) | |
| parent | 7d9ee7e3806cb1b1b484805ba723a0202d917a7a (diff) | |
Merge pull request #1294 from iwishguo/master
Change PLATFORM_ROOT to TF_PLATFORM_ROOT
Diffstat (limited to 'docs/platform-interrupt-controller-API.rst')
0 files changed, 0 insertions, 0 deletions