diff options
author | Jesper Nilsson <jespern@axis.com> | 2014-01-28 15:14:35 +0100 |
---|---|---|
committer | Jesper Nilsson <jespern@axis.com> | 2014-01-28 15:14:35 +0100 |
commit | cd065a010a97e3c330d1ded9af551664c9689b19 (patch) | |
tree | 5673ff1f4641063c2e4adf3349fb767a8949d693 /usr | |
parent | 54c0a4b46150db1571d955d598cd342c9f1d9657 (diff) |
CRISv10: Readd missing header
The svinto architecture header was mistakenly removed,
leading to a compile error.
Signed-off-by: Jesper Nilsson <jesper.nilsson@axis.com>
Diffstat (limited to 'usr')
0 files changed, 0 insertions, 0 deletions