Skip to content

Move .PHONY to each section to avoid copy/paste omissions#972

Merged
JelleZijlstra merged 1 commit intopython:mainfrom
hugovk:fix-phony-targets
Oct 21, 2022

Commits

Commits on Oct 21, 2022