Revert "Update tooling to latest main"

This reverts commit 9f1713c.
justfinished · Aug 2, 2024 · 8834dd1 · 8834dd1
1 parent c11e7c3
commit 8834dd1
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/docs b/docs
diff --git a/tooling b/tooling