Merge pull request #1444 from jts-arm/docs
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Fri, 22 Jun 2018 14:57:40 +0000 (15:57 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Jun 2018 14:57:40 +0000 (15:57 +0100)
commitcfd2e04a7176e8944fb14585cbf18f7bf20603d5
tree259116a4136c58b86f8382ae7e3d8070fabc76db
parentebce735dac2f28e8034c6fd1ba7a7537fd63fbfa
parent677ad32cd2ac9b5813b0083639f6c596206318dd
Merge pull request #1444 from jts-arm/docs

Fix typos in documentation