diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-08-24 20:07:43 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2018-08-25 11:58:17 +0200 |
commit | fcf4088d3fe27a3c950985afc49af1064c54b024 (patch) | |
tree | 6a449bfb793ee1236e4cb78016d6325971426cf6 /scripts | |
parent | f15fc8ea1e8310fe875cde5ba446d9a5093db8c6 (diff) | |
download | php-git-fcf4088d3fe27a3c950985afc49af1064c54b024.tar.gz |
Remove some old parts of the php
Since ba138a3746b3077ebe5b7356b5b49f21cfc30438 the generate-phpt library
has been unbundled from the php-src. This patch cleans two remaining
parts.
Diffstat (limited to 'scripts')
-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 |