Repository navigation

Follow the other plugins' new names (0.7.2) - #16

Merged

mgilardi merged 2 commits into

mainfrom

Nov 14, 2026

Merged

Follow the other plugins' new names (0.7.2)#16
mgilardi merged 2 commits into
mainfrom
follow-renames

Commits on Nov 14, 2026
- Follow the other plugins' new names (0.7.2)
  
  mgilardi
  and
  claude
  committed
  e88be12
- Use the other plugins' new names in tests and docs
  
  mgilardi
  and
  claude
  committed
  1fc4376