Andrew Morgan 860e0ba866 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

2021-06-24 18:00:42 +01:00

develop

deploy: 763dba77ef

2021-06-24 10:24:15 +00:00

.nojekyll

Set up gh-pages branch

2021-05-28 14:36:00 +01:00

index.html

Redirect to develop/index.html instead (#10241)

2021-06-24 18:00:42 +01:00

S

Description

No description provided

592 MiB

Languages

Python 96.2%

Rust 2.4%

HTML 0.4%

Shell 0.4%

Perl 0.2%

Other 0.1%