latest git ignore changes

2025-01-21 21:25:21 +00:00
parent 3735ab87e0
commit ddd6864741
3 changed files with 1144 additions and 1 deletions
--- a/Docs/.DS_Store
+++ b/Docs/.DS_Store
--- a/Docs/.gitignore
+++ b/Docs/.gitignore
@@ -13,7 +13,6 @@
 *.elc
 *.fn
 *.fns
-*.html
 *.info
 *.ky
 *.kys
--- a/Docs/docs.html
+++ b/Docs/docs.html