diff options
author | Tobias Kortkamp <tobik@FreeBSD.org> | 2019-11-07 18:18:17 +0000 |
---|---|---|
committer | Tobias Kortkamp <tobik@FreeBSD.org> | 2019-11-07 18:18:17 +0000 |
commit | 1d8ca425a76be2ee4a83db36dd1349b77b7162e0 (patch) | |
tree | 93aaae556b0dd4eca960862df76d9ac0cdda720f /devel/php71-readline | |
parent | devel/arduino-mk: Update MASTER_SITES and remove BROKEN (diff) |
Replace do-patch in ports that override it with more appropriate targets
Most ports do not need to override do-patch. It breaks some ports
tree features like EXTRA_PATCH_TREE, etc.
Diffstat (limited to 'devel/php71-readline')
0 files changed, 0 insertions, 0 deletions