diff options
author | Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> | 2021-06-24 18:00:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-24 18:00:42 +0100 |
commit | 860e0ba866e36434d277484102309167a1f8d421 (patch) | |
tree | 33865c7a14473119daba2d1eebea4836d9aff53b | |
parent | deploy: 763dba77ef4f3a9a33f42dbaac8a23f57a37bc6c (diff) | |
download | synapse-860e0ba866e36434d277484102309167a1f8d421.tar.xz |
Redirect to develop/index.html instead (#10241)
GitHub Pages will serve develop/index.html if we navigate to develop/. index.html will still be the welcome page (for now), but if we ever decide to change that in the future, we won't need to update this redirect page
-rw-r--r-- | index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/index.html b/index.html |