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)
commitfd3b7660e8374d4388d25edb507526c0b960d535
treec001c1cdd6d00b4116f78ee4dc0f1313a815a7da
parentb3492ccb912ea1e13c4f89e7ecc66b5023177733
parent681487583f1b69ed1015faafe2e168b980b4487d
Merge pull request #3348 from JohnChen0/master

Fix .gitignore so src/tools is not ignored