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 011272dd3..d7820fb3f 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,7 @@ WebIDLGrammar.pkl glue.cpp glue.js parser.out +shared.bc # autogenerated files by check.py a.* |