diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index dee365b3c6..aa6994a8dc 100644 --- a/.gitignore +++ b/.gitignore @@ -29,6 +29,7 @@ y.output y.tab.c # / +/*-fake.rb /*.pc /*_prelude.c /COPYING.LIB |