diff options
Diffstat (limited to 'docs/_includes')
| -rw-r--r-- | docs/_includes/nav-docs.html (renamed from docs/_includes/docs-nav.html) | 0 | ||||
| -rw-r--r-- | docs/_includes/nav-home.html (renamed from docs/_includes/home-nav.html) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/docs/_includes/docs-nav.html b/docs/_includes/nav-docs.html index 6b3564cd9..6b3564cd9 100644 --- a/docs/_includes/docs-nav.html +++ b/docs/_includes/nav-docs.html diff --git a/docs/_includes/home-nav.html b/docs/_includes/nav-home.html index ae9b66d91..ae9b66d91 100644 --- a/docs/_includes/home-nav.html +++ b/docs/_includes/nav-home.html |