| commit | fe403b629ec42bdd7decca3c02a92abe7f6d7f7c | [log] [tgz] |
|---|---|---|
| author | Brendan Jackman <brendan.jackman@arm.com> | Wed Oct 18 14:26:09 2017 +0100 |
| committer | Brendan Jackman <brendan.jackman@arm.com> | Wed Oct 18 14:26:54 2017 +0100 |
| tree | 4b7083111445d0e55e8f1ccc69f5c2d423297243 | |
| parent | 16d5e0b6a78c676449596b3bae41ff65979b4181 [diff] |
AndroidTarget: Make get_rotation return an int That means you can pass the result back to set_rotation without having to change its type.