diff --git a/.gitignore b/.gitignore index 239970ccca1e6658940ebc48ab047c6da668c3d5..7b9d36e1618e70bd96d9a1789e07b27c5576322a 100644 --- a/.gitignore +++ b/.gitignore @@ -8,3 +8,4 @@ test # files docs/instructions.draft.md docs/notes.md +gitlab.html