Skip to content

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

Open
jenstroeger wants to merge 1 commit into
mainfrom
fix-typos-2
Open

chore: remove unnecessary cmd line flag from rm in a Makefile recipe#1253
jenstroeger wants to merge 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