diff options
| author | Remi Collet <remi@remirepo.net> | 2018-03-02 12:36:51 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-03-02 12:36:51 +0100 |
| commit | e76559db69cf7bee1ffd81883ead4f2a3b67eeb4 (patch) | |
| tree | b2df24e88db17c62efa5dc6381762260e32cb9ad /php-7.2.4-fixheader.patch | |
| parent | 476b3fc6ff1bc50c8289e91ddcb789ad9ba8d5a1 (diff) | |
devel: drop dependency on devtoolset
Diffstat (limited to 'php-7.2.4-fixheader.patch')
0 files changed, 0 insertions, 0 deletions