]> granicus.if.org Git - php/commitdiff
Merge pull request #44 from Hywan/option_zend_version
authorBob Weinand <bobwei9@hotmail.com>
Wed, 18 Dec 2013 15:20:11 +0000 (07:20 -0800)
committerBob Weinand <bobwei9@hotmail.com>
Wed, 18 Dec 2013 15:20:11 +0000 (07:20 -0800)
Add Zend version and copyright (oops, I merged the last PR too early)


Trivial merge