tools: api-diff: don't use delta if output is being piped#3003
Merged
david-crespo merged 2 commits intomainfrom Jan 6, 2026
Merged
tools: api-diff: don't use delta if output is being piped#3003david-crespo merged 2 commits intomainfrom
david-crespo merged 2 commits intomainfrom