Merge pull request #3348 from JohnChen0/master
authorJan Kotas <jkotas@microsoft.com>
Thu, 25 Feb 2016 00:58:56 +0000 (16:58 -0800)
committerJan Kotas <jkotas@microsoft.com>
Thu, 25 Feb 2016 00:58:56 +0000 (16:58 -0800)
Fix .gitignore so src/tools is not ignored


Trivial merge