From: Michael Wallner <mike@php.net>
Date: Tue, 4 Dec 2018 10:28:19 +0000 (+0100)
Subject: gitignore
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=f077a911ab3d74c43a6316d745e885446820e7bf;p=m6w6%2Fext-psi

gitignore
---

diff --git a/.gitignore b/.gitignore
index 320a3eb..affd359 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,7 +38,7 @@ tests/*/*.php
 tests/*/*.exp
 tests/*/*.log
 tests/*/*.sh
-/tests/*/*.mem
+tests/*/*.mem
 /config.cache
 /*.c
 /*.diff
@@ -59,8 +59,7 @@ tests/*/*.sh
 /token.h
 /types.h
 /src/parser_proc.output
-/php_psi_stdinc.h
-/php_psi_posix.h
+/php_psi_predef.h
 /types/
 /calc/
 *.bak