Deploy to GitHub pages

italia · Aug 4, 2023 · 3d18b9b · 3d18b9b
1 parent edf8366
commit 3d18b9b
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/refs/pull/91/merge/en/.doctrees/environment.pickle b/refs/pull/91/merge/en/.doctrees/environment.pickle