Skip to content

Infra: Declare Makefile targets as phony#2841

Merged
hugovk merged 1 commit intopython:mainfrom
hugovk:add-phony-targets
Oct 22, 2022
Merged

Infra: Declare Makefile targets as phony#2841
hugovk merged 1 commit intopython:mainfrom
hugovk:add-phony-targets

Commits

Commits on Oct 21, 2022