diff options
| -rw-r--r-- | .gitignore | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/.gitignore b/.gitignore index 0ec45333e7c6..2a5a6ecbd03c 100644 --- a/.gitignore +++ b/.gitignore @@ -13,6 +13,7 @@  *.so  *.mod.c  *.i +*.lst  #  # Top-level generic files |