Skip to content

chore: remove unnecessary cmd line flag from rm in a Makefile recipe - #1253

Merged
jenstroeger merged 1 commit into
mainfrom
fix-typos-2
Jul 29, 2026
Merged

chore: remove unnecessary cmd line flag from rm in a Makefile recipe#1253
jenstroeger merged 1 commit into
mainfrom
fix-typos-2

chore: remove unnecessary cmd line flag from `rm` in a Makefile recipe

d5986b3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Analyze (python, 3.14)
succeeded Jul 27, 2026 in 1m 46s