Repository navigation

WIP: --ignore-element (split out of #9) - #14

Closed

MartenH wants to merge 5 commits into

mainfrom

Closed

WIP: --ignore-element (split out of #9)#14
MartenH wants to merge 5 commits into
mainfrom
ignore-element

Commits on Oct 17, 2026
- values prints every value a path glob wants as path = "text" lines; --ignore-element
  
  MartenH
  and
  claude
  committed
  b2f7244
- values and --ignore-element: the review's five findings
  
  MartenH
  and
  claude
  committed
  9ebc93c
- values and --ignore-element: the second review's findings
  
  MartenH
  and
  claude
  committed
  bfd2faf
- values and --ignore-element: the third review's findings
  
  MartenH
  and
  claude
  committed
  7de4bc9
- WIP --ignore-element: the 14:09Z review round, half done (compare.v only)
  
  MartenH
  and
  claude
  committed
  bd11897