diff --git a/.gitignore b/.gitignore index 87d05d2af5..dfdbc39997 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,6 @@ + +.history + # Compiled things # --------------