Add queries for VS Code jump-to-definition#3308
Merged
jcreedcmu merged 9 commits intogithub:masterfrom May 8, 2020
Merged
Commits
Commits on Apr 29, 2020
- authored andcommitted

- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed