diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2020-12-16 00:06:42 +0100 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2020-12-16 18:32:27 +0100 |
commit | b2594c71c248b78b8526a62f43ad74151a31ac3a (patch) | |
tree | 46ba5291de16355c6a7ab4c411420405c8af5367 /.github | |
parent | 7e8b2b7e988cfd7e8e0745f0af3eb42b6a1918cb (diff) |
php.packages: Make packages overridable
This will allow patching extensions without having to manually having to patch all occurrences in the dependency tree.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions