diff options
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 8d14531846b9..8363e48cdcdc 100644 --- a/.gitignore +++ b/.gitignore | |||
@@ -17,6 +17,7 @@ | |||
17 | *.i | 17 | *.i |
18 | *.lst | 18 | *.lst |
19 | *.symtypes | 19 | *.symtypes |
20 | *.order | ||
20 | 21 | ||
21 | # | 22 | # |
22 | # Top-level generic files | 23 | # Top-level generic files |