Merge pull request #742 from masahir0y/misc
authordavidcunado-arm <david.cunado@arm.com>
Mon, 31 Oct 2016 23:12:03 +0000 (23:12 +0000)
committerGitHub <noreply@github.com>
Mon, 31 Oct 2016 23:12:03 +0000 (23:12 +0000)
Comment fixes and .gitignore update


Trivial merge