tree e9176cf0a673cb6b573e17932599c61109c28613
parent 59deada1399d6ec5b010572ccaf5e908f0b5b2a1
parent 6b3157836062671c82bcc5cfa2b2130f2812ce4e
author davidcunado-arm <david.cunado@arm.com> 1477955523 +0000
committer GitHub <noreply@github.com> 1477955523 +0000

Merge pull request #742 from masahir0y/misc

Comment fixes and .gitignore update