diff options
| author | Remi Collet <remi@remirepo.net> | 2019-10-10 12:05:13 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-10-10 12:05:13 +0200 |
| commit | 028cf358b400b31869b1691e229200611bbb2748 (patch) | |
| tree | 8e70426f9964e44f6dfbd17d5fe29a195fc82121 /php.ini | |
| parent | 140b6cd9fbb7f7f574e90fac3134b1ee158b39ef (diff) | |
fix librt issue on F31 using upstream patch
Diffstat (limited to 'php.ini')
0 files changed, 0 insertions, 0 deletions