diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2019-08-15 18:20:03 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-08-15 18:20:03 +0200 |
commit | d04c85fcb5977e56615e021327782720d997c3c6 (patch) | |
tree | e5ca3e802ceaee030a5aaba02d4070d5373d51ed /scripts/dev | |
parent | 76574342d7417b31a399715220dc4d8abe26425d (diff) | |
parent | 0b6d869d7cc85bb7c1a0ac624a932b8ebe85dd8a (diff) | |
download | php-git-d04c85fcb5977e56615e021327782720d997c3c6.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
appveyor: exclude some documentation paths
Diffstat (limited to 'scripts/dev')
0 files changed, 0 insertions, 0 deletions