update pages

2022-08-02 21:45:52 +02:00 · 2022-08-02 21:45:52 +02:00 · f3fff020a1
parent 99465bb381
commit f3fff020a1
2 changed files with 1 additions and 1 deletions
--- a/docs/.pages
+++ b/docs/.pages
--- a/docs/tools
+++ b/docs/tools
@ -1 +1 @@
-Subproject commit d1af96a832b22f4c61226442a1775fa54799af13
+Subproject commit 2820ea93feb4c6f4d2f82f94b68b0cc2d14c1f9e