ignore stubs
authorMichael Wallner <mike@php.net>
Wed, 6 Mar 2019 15:12:33 +0000 (16:12 +0100)
committerMichael Wallner <mike@php.net>
Wed, 6 Mar 2019 15:15:33 +0000 (16:15 +0100)
commit27a6043ea6756d5155a2e83a804a5e2b32f34176
tree763f9124a320c529285e75af3fc60ee4fe8e5c00
parent29d603eb211a184106cf3caa224777615bcd61a8
ignore stubs
.gitignore