Merge pull request #122 from 'danh-arm:dh/v0.4-docs'
authorDan Handley <dan.handley@arm.com>
Tue, 3 Jun 2014 17:50:13 +0000 (18:50 +0100)
committerDan Handley <dan.handley@arm.com>
Tue, 3 Jun 2014 17:50:13 +0000 (18:50 +0100)

Trivial merge