diff options
| author | danh-arm <dan.handley@arm.com> | 2016-12-20 17:00:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-20 17:00:59 +0000 |
| commit | e60f1897511c3852bd3e1bfc88c9ca7a6b2a1131 (patch) | |
| tree | d392ef6e3f180d418d7ee8fee056cf13fdb71abd /include/lib | |
| parent | bd83b41a3037a44905410a15f9a19bc30a7130e5 (diff) | |
| parent | 34071d6aeca50ff8108a1a20c225c29b6db1d69a (diff) | |
Merge pull request #792 from masahir0y/zynqmp
zynqmp: add "override" directive to mandatory options
Diffstat (limited to 'include/lib')
0 files changed, 0 insertions, 0 deletions