Merge pull request #442 from mikem8361/dirsearch
authorMike McLaughlin <mikem@microsoft.com>
Thu, 22 Aug 2019 22:02:37 +0000 (15:02 -0700)
committerGitHub <noreply@github.com>
Thu, 22 Aug 2019 22:02:37 +0000 (15:02 -0700)
 Add directory symbol search and document IDL/prebuilt files update


Trivial merge