gitignore
authorMichael Wallner <mike@php.net>
Tue, 4 Dec 2018 10:28:19 +0000 (11:28 +0100)
committerMichael Wallner <mike@php.net>
Tue, 4 Dec 2018 11:13:51 +0000 (12:13 +0100)
.gitignore

index 320a3eb03c06700de7ae782a9bce7712112bb777..affd359c0a094316635994b7993cde5e8472eb4e 100644 (file)
@@ -38,7 +38,7 @@ tests/*/*.php
 tests/*/*.exp
 tests/*/*.log
 tests/*/*.sh
 tests/*/*.exp
 tests/*/*.log
 tests/*/*.sh
-/tests/*/*.mem
+tests/*/*.mem
 /config.cache
 /*.c
 /*.diff
 /config.cache
 /*.c
 /*.diff
@@ -59,8 +59,7 @@ tests/*/*.sh
 /token.h
 /types.h
 /src/parser_proc.output
 /token.h
 /types.h
 /src/parser_proc.output
-/php_psi_stdinc.h
-/php_psi_posix.h
+/php_psi_predef.h
 /types/
 /calc/
 *.bak
 /types/
 /calc/
 *.bak