diff options
| author | Michael Davis | 2024-01-09 00:55:11 +0000 |
|---|---|---|
| committer | GitHub | 2024-01-09 00:55:11 +0000 |
| commit | 0cbd8d3df1ec6faa088f4439e52865f8daf78dc3 (patch) | |
| tree | a3a08d3fff9ea11b6b1721e667f7f9779cfea4ce /runtime/queries/lean/folds.scm | |
| parent | 4da6191a1c821eaff580392b41a2eb7245a475b7 (diff) | |
Check for rename support before showing LSP rename prompt (#9277)
Diffstat (limited to 'runtime/queries/lean/folds.scm')
0 files changed, 0 insertions, 0 deletions