feat: hover / go-to-def for `attribute` cmd#3896

Merged

nomeata merged 1 commit intoleanprover:masterfrom digama0:attribute_hover

Apr 13, 2024

+89-78

Commits on Apr 13, 2024

feat: hover / go-to-def for attribute cmd
digama0
committed