diff options
| author | Anatol Belski <ab@php.net> | 2017-07-09 11:35:55 +0200 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2017-07-09 15:07:23 +0200 |
| commit | 384f0f8a4c91c3fa1c2de4786f971197a0d52ee7 (patch) | |
| tree | c7e5163c222da871a5f2ecc43b57e67152175553 /main/php_ini.h | |
| parent | e870edb1eebb1869fec62f76e4d0aed1448a5a18 (diff) | |
| download | php-git-384f0f8a4c91c3fa1c2de4786f971197a0d52ee7.tar.gz | |
sync vim mode lines in main
Diffstat (limited to 'main/php_ini.h')
| -rw-r--r-- | main/php_ini.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/main/php_ini.h b/main/php_ini.h index 2ae90fe842..e582deff65 100644 --- a/main/php_ini.h +++ b/main/php_ini.h @@ -89,3 +89,11 @@ END_EXTERN_C() #define php_ini_string zend_ini_string #endif /* PHP_INI_H */ +/* + * Local variables: + * tab-width: 4 + * c-basic-offset: 4 + * End: + * vim600: sw=4 ts=4 fdm=marker + * vim<600: sw=4 ts=4 + */ |