| commit | 80b7ea75a2c6a7b4366eef3af195291b5ba7280c | [log] [tgz] |
|---|---|---|
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Fri Jun 22 15:57:40 2018 +0100 |
| committer | GitHub <noreply@github.com> | Fri Jun 22 15:57:40 2018 +0100 |
| tree | 259116a4136c58b86f8382ae7e3d8070fabc76db | |
| parent | cc9b49697d999bfdb5a0e8f22b6452623003a167 [diff] | |
| parent | ee10e79c7efc40c7d4830309c257b5b378c6752d [diff] |
Merge pull request #1444 from jts-arm/docs Fix typos in documentation