ignore .github in export

fixes #42
jsxgraph · Apr 18, 2024 · 070ef91 · 070ef91
1 parent a97eca0
commit 070ef91
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -1,5 +1,6 @@
 # Ignore all test and documentation with “export-ignore”.
 
+/.github export-ignore
 /.gitattributes export-ignore
 /.gitmodules export-ignore
 /.gitignore export-ignore