diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000..7d34b996db --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +# make sure to skip the build dir + +docs/build