diff options
Diffstat (limited to 'win32/.gitignore')
-rw-r--r-- | win32/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/win32/.gitignore b/win32/.gitignore index 9719332ab2..56dee9f5f8 100644 --- a/win32/.gitignore +++ b/win32/.gitignore @@ -6,6 +6,7 @@ bin/*.bat html/ mini/ Extensions_static +.coreheaders dlutils.c perllibst.h perlmain.c |