php: Ignore another generated file in php/extension directory.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 3 Feb 2011 10:56:01 +0000 (10:56 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 3 Feb 2011 10:56:01 +0000 (10:56 +0000)
commit5ae752559284efd925fb7959c5760d4fee25f1d6
tree4401d9753f2af165faa5cbf2beaeeac3c251f96d
parent61a1a2b71c4811b9d6233a43db74229b9364f0c6
php: Ignore another generated file in php/extension directory.
.gitignore