diff options
author | Tom Lane | 2016-03-19 21:19:37 +0000 |
---|---|---|
committer | Tom Lane | 2016-03-19 21:19:37 +0000 |
commit | d5351fcb03fc8e20651d5863b88b397a8be68d74 (patch) | |
tree | 0803b8f29d6a995c632393a56a4b0b258ea6efb5 /src/tutorial | |
parent | 429ee5a822db0e8faf669d77c810f1eeaaff1ab4 (diff) |
Fix phony .PHONY.
A couple makefiles had misspelled the magic .PHONY target as PHONY.
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions