Removed dummy page, RTD's overlay is no longer on top

Zylann · Jun 12, 2024 · 2972862 · 2972862
1 parent 044d6bf
commit 2972862
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/doc/mkdocs.yml b/doc/mkdocs.yml
@@ -118,7 +118,6 @@ nav:
  - 'specs/region_format_v2.md'
  - 'specs/region_format_v3.md'
  - 'specs/sqlite_format.md'
- - '___2.md'
 
 markdown_extensions:
  # Makes permalinks appear on headings

diff --git a/doc/source/___2.md b/doc/source/___2.md