diff options
| author | Christoph M. Becker <cmbecker69@gmx.de> | 2018-08-25 11:58:50 +0200 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2018-08-25 11:58:50 +0200 |
| commit | 23aa355bf29090525ad1cdc89b5a98702c9a976d (patch) | |
| tree | 6ac52d0da34875a706000cd05f0ba8230394dbe3 /scripts/dev | |
| parent | 7b39e8a338d5e74c6f2c52a8f54b1a0acc01cde5 (diff) | |
| parent | fcf4088d3fe27a3c950985afc49af1064c54b024 (diff) | |
| download | php-git-23aa355bf29090525ad1cdc89b5a98702c9a976d.tar.gz | |
Merge branch 'PHP-7.3'
* PHP-7.3:
Remove some old parts of the php
Diffstat (limited to 'scripts/dev')
| -rw-r--r-- | scripts/dev/generate-phpt.phar | bin | 52356 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/dev/generate-phpt.phar b/scripts/dev/generate-phpt.phar Binary files differdeleted file mode 100644 index 3b2137ade6..0000000000 --- a/scripts/dev/generate-phpt.phar +++ /dev/null |