Merge pull request #258 from giorgio-arena/patch-1
authorAnthony Barbier <Anthony.barbier@arm.com>
Mon, 23 Oct 2017 16:11:14 +0000 (17:11 +0100)
committerGitHub <noreply@github.com>
Mon, 23 Oct 2017 16:11:14 +0000 (17:11 +0100)
Update 00_introduction.dox


Trivial merge