Skip to content
This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Add queries for ide search.#119

Merged
max-schaefer merged 2 commits into
github:masterfrom
jcreedcmu:jcreed/jump-to-def-ide
May 5, 2020
Merged

Add queries for ide search.#119
max-schaefer merged 2 commits into
github:masterfrom
jcreedcmu:jcreed/jump-to-def-ide

Exclude IDE queries from query suites.

5653889
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs