diff options
author | Dmitry Stogov <dmitry@zend.com> | 2016-04-29 11:15:26 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2016-04-29 11:15:26 +0300 |
commit | 19c0335609ac9a84eaec048ffb7fdcf1312689cd (patch) | |
tree | b1c28fca2d5272f09c451519b0208404a06ea141 /ext/readline | |
parent | 2f17ef1d25988d8a0a642d262c8dc92d0f205b3c (diff) | |
download | php-git-19c0335609ac9a84eaec048ffb7fdcf1312689cd.tar.gz |
Revert "Fix bad merge into master"
This reverts commit 2c8e4ba8f1f63429f5d0e08a4a0fc6d449ca801a.
Diffstat (limited to 'ext/readline')
0 files changed, 0 insertions, 0 deletions