Skip to content

Explain the verifier's generated names on hover and link them to their lines - #199

Merged
CatarinaGamboa merged 2 commits into
mainfrom
feat/195-generated-name-hover
Nov 11, 2026
Merged

CatarinaGamboa merged 2 commits into
mainfrom
feat/195-generated-name-hover

Commits

  1. Commits on Nov 11, 2026