Revert "Remove groups plugin for now"

This reverts commit afd49d5327.
2023-12-18 08:13:45 -08:00 · 2023-12-18 08:13:45 -08:00 · e0886ef715
commit e0886ef715
parent b9f1ddd284
1 changed files with 6 additions and 3 deletions
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -229,6 +229,9 @@ markdown_extensions:
  - admonition
 plugins:
  - group:
      enabled: !ENV MKINSIDERS
      plugins:
        - optimize
        - typeset
        - social