mirror of https://github.com/php/php-src
Browse Source
Since ba138a3746 the generate-phpt library
has been unbundled from the php-src. This patch cleans two remaining
parts.
pull/3465/merge
committed by
Christoph M. Becker
2 changed files with 0 additions and 1 deletions
Loading…
Reference in new issue