summaryrefslogtreecommitdiffstats
path: root/php-7.2.0-includedir.patch
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2019-04-05 10:23:03 +0200
committerRemi Collet <remi@remirepo.net>2019-04-05 10:23:03 +0200
commit180a1d96bfbeb36c923e2780e5c4f9cebd2b1072 (patch)
tree1099b7e96db4ab5258f37396e9f7712b81e02a8d /php-7.2.0-includedir.patch
parentca848f83bf07af1f9b825ee120e3a91df3e1cac9 (diff)
build with system oniguruma5
Diffstat (limited to 'php-7.2.0-includedir.patch')
0 files changed, 0 insertions, 0 deletions