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)
commit9c4c18fa8812f080e09b0d522fe98d0235e97320
treee9176cf0a673cb6b573e17932599c61109c28613
parent061723f96caee40ae5ee85760119c198d6965c13
parent589b827f4b14c386dd49e1759578f72cf92b6f02
Merge pull request #742 from masahir0y/misc

Comment fixes and .gitignore update