diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-31 18:57:56 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:16 +0100 |
| commit | d36affa468c0f874485d8d8aa55b34c8c30e9f14 (patch) | |
| tree | 6390fcccae7d4d863d4ff8e8a4a8b06c3274fc40 /build.gradle | |
| parent | fix(web): fix push message race condition (diff) | |
| download | refinery-d36affa468c0f874485d8d8aa55b34c8c30e9f14.tar.gz refinery-d36affa468c0f874485d8d8aa55b34c8c30e9f14.tar.zst refinery-d36affa468c0f874485d8d8aa55b34c8c30e9f14.zip | |
fix(web): not dot display spurious occurrences
Only return find occurrences results for NamedElement instances,
as other objects cannot be referenced by name and thus cannot have any
references at all.
Diffstat (limited to 'build.gradle')
0 files changed, 0 insertions, 0 deletions