Merge branch 'master' into add_new_orgs

crweiner · Oct 31, 2024 · d54be53 · d54be53
2 parents 7acea63 + 0ed7f70
commit d54be53
Show file tree

Hide file tree

Showing 3 changed files with 118 additions and 194 deletions.
diff --git a/Pipfile b/Pipfile
@@ -5,7 +5,7 @@ verify_ssl = true
 
 [packages]
 mkdocs = "==1.6.1"
-mkdocs-material = "==9.5.39"
+mkdocs-material = "==9.5.42"
 python-markdown-math = "==0.8"
 Pygments = "==2.18.0"
 prompt_toolkit = "==3.0.48"