diff options
author | foobar <sniper@php.net> | 2003-02-01 01:49:15 +0000 |
---|---|---|
committer | foobar <sniper@php.net> | 2003-02-01 01:49:15 +0000 |
commit | 333406bdc22fcc14db08f2685b4c76f87ac7b1db (patch) | |
tree | 0b02fb6698a3fb456ea72744cd826b91247fd949 /Zend/zend_execute_API.c | |
parent | bdb1c0cf8680cde2e44c31764f4fcfc703f25ed6 (diff) | |
download | php-git-333406bdc22fcc14db08f2685b4c76f87ac7b1db.tar.gz |
- Added some missing CVS $Id$ tags, headers and footers.
Diffstat (limited to 'Zend/zend_execute_API.c')
-rw-r--r-- | Zend/zend_execute_API.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index fb7d14301d..3788ae263f 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -17,6 +17,7 @@ +----------------------------------------------------------------------+ */ +/* $Id$ */ #include <stdio.h> #include <signal.h> @@ -1016,3 +1017,11 @@ void zend_unset_timeout(TSRMLS_D) # endif #endif } + +/* + * Local variables: + * tab-width: 4 + * c-basic-offset: 4 + * indent-tabs-mode: t + * End: + */ |