diff options
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 1dec248250..d490491248 100644 --- a/.gitignore +++ b/.gitignore @@ -22,6 +22,8 @@ *.orig *.dcd *.dcd.S +*.bbenv +*.bbenv.* # # Top-level generic files |