Delete the `remove-old-headers' target, as it is no longer useful. Patch
Neil Conway <neilc@samurai.com>
Delete the `remove-old-headers' target, as it is no longer useful. Patch from Alvaro Herrera.
Files
| Path | Change | +/− |
|---|---|---|
| src/include/Makefile | modified | +2 −20 |