diff options
| author | Pascal Kuthe | 2023-01-23 17:18:44 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-23 17:18:44 +0000 |
| commit | 361a8344866841799199e362285b119960151eff (patch) | |
| tree | 214e684116b895c8fc1d10c6b52268e0dee19e48 /runtime/queries/sage/highlights.scm | |
| parent | 17acadb305bebfef094e4fcc9ba1e6fda6159c3b (diff) | |
Fix selecting a changed file in global search (#5639)
Diffstat (limited to 'runtime/queries/sage/highlights.scm')
0 files changed, 0 insertions, 0 deletions