diff options
| author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | 2019-02-05 11:31:15 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-05 11:31:15 +0000 |
| commit | a45ccf135e48efc70006055c32e8a89fddb38db2 (patch) | |
| tree | ccb748b78704c79747ca831c1aace15f08369b08 /docs/platform-interrupt-controller-API.rst | |
| parent | 49dd04815f7e5b1687f4a87340829e55433e210f (diff) | |
| parent | 5e447816c78f4b4b5ef0b42683b820c2e88f810f (diff) | |
Merge pull request #1804 from antonio-nino-diaz-arm/an/cleanup
Minor cleanup
Diffstat (limited to 'docs/platform-interrupt-controller-API.rst')
0 files changed, 0 insertions, 0 deletions