Skip to content

Makefile: Remove unnecessary .PHONY entries#802

Merged
crosbymichael merged 1 commit intoopencontainers:masterfrom
wking:minimal-phony
May 11, 2017
Merged

Makefile: Remove unnecessary .PHONY entries#802
crosbymichael merged 1 commit intoopencontainers:masterfrom
wking:minimal-phony

Commits

Commits on May 10, 2017