diff options
| author | Nikita Popov <nikic@php.net> | 2016-04-21 23:35:51 +0200 |
|---|---|---|
| committer | Nikita Popov <nikic@php.net> | 2016-04-21 23:35:51 +0200 |
| commit | 89fbce5c5ff4990a1ec2fb8fde06f802a707aa5f (patch) | |
| tree | c334eed2971791c2a3ee8c02a938e0b2aaa6c221 /.gdbinit | |
| parent | a5944f8dd5c45a95bb0cfdea52dd2301fab1f39c (diff) | |
| download | php-git-89fbce5c5ff4990a1ec2fb8fde06f802a707aa5f.tar.gz | |
Mark zend_timeout as noreturn
Otherwise we get a compiler warning...
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions