diff options
Diffstat (limited to 'main/streams/php_stream_userspace.h')
| -rw-r--r-- | main/streams/php_stream_userspace.h | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/main/streams/php_stream_userspace.h b/main/streams/php_stream_userspace.h index c09ff9033a..389d591921 100644 --- a/main/streams/php_stream_userspace.h +++ b/main/streams/php_stream_userspace.h @@ -21,12 +21,3 @@ PHPAPI extern const php_stream_ops php_stream_userspace_ops; PHPAPI extern const php_stream_ops php_stream_userspace_dir_ops; #define PHP_STREAM_IS_USERSPACE &php_stream_userspace_ops #define PHP_STREAM_IS_USERSPACE_DIR &php_stream_userspace_dir_ops - -/* - * Local variables: - * tab-width: 4 - * c-basic-offset: 4 - * End: - * vim600: sw=4 ts=4 fdm=marker - * vim<600: sw=4 ts=4 - */ |