Logging: HTML page for docs removed from Git (generated!)

dlr-eoc · Mar 14, 2024 · 3d9b497 · 3d9b497
1 parent 7a41e6c
commit 3d9b497
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/logging/src/site/resources/.gitignore b/logging/src/site/resources/.gitignore
@@ -1 +1 @@
-/logging.html
+logging.html
diff --git a/logging/src/site/resources/logging.html b/logging/src/site/resources/logging.html