diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-21 15:33:19 +0100 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-21 15:33:19 +0100 |
commit | 62b97d167cc84e7314932b7a3d2d72b16ae8926d (patch) | |
tree | 12820b96a0ca526f918c0f236d5f2fa611524a1a /.gitignore | |
parent | 678e3207c43145462e404cc6cc9807ec1a2cc618 (diff) |
gitignore: Exclude buildenv directory
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 6b294dd1af..40bfdd98f4 100644 --- a/.gitignore +++ b/.gitignore @@ -66,3 +66,6 @@ compile_commands.json # Exclude documentation generated by Doxygen /doxygen/ + +# Exclude buildenv directory from our helper scripts +/buildenv/ |