diff options
| author | Remi Collet <fedora@famillecollet.com> | 2017-01-20 08:23:21 +0100 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2017-01-20 08:23:21 +0100 |
| commit | eea960c13a32383939d6bde303165a7cf6aa78ef (patch) | |
| tree | 3968e39625091978dcdcf48caaaa6e40f3524ae8 /strip.sh | |
| parent | 885ce9b409d2a4124898d380d68421286689db86 (diff) | |
php 5.6.30 make DTrace optional (backported from PHP 7)
Diffstat (limited to 'strip.sh')
0 files changed, 0 insertions, 0 deletions