diff options
| author | Blaž Hrastnik | 2024-01-24 07:00:21 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2024-01-24 07:00:21 +0000 |
| commit | 83f09ecbff5160e4350c8099be1ad4c64513f665 (patch) | |
| tree | 61a2caa9d318fa723da5cba90318529011dea533 /runtime/queries/agda | |
| parent | cb25d13028ec1cdf986a3567ea52562ea654a7b8 (diff) | |
minor: Silence noisy language server not found error in log
Diffstat (limited to 'runtime/queries/agda')
0 files changed, 0 insertions, 0 deletions