diff options
| author | Ole Krüger | 2023-01-31 10:38:53 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-31 10:38:53 +0000 |
| commit | 4eca4b3079bf53de874959270d0b3471d320debc (patch) | |
| tree | 685da9a2ef16df7b0c135a636f2324e5a2248802 /runtime/queries/lean/injections.scm | |
| parent | c9b583ea9b59aa78c12e3831ed9c73f83d1d35d8 (diff) | |
Support goto-declaration LSP command (#5646)
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions