File tree Expand file tree Collapse file tree 2 files changed +27
-27
lines changed
Expand file tree Collapse file tree 2 files changed +27
-27
lines changed Original file line number Diff line number Diff line change 1+ <!DOCTYPE html>
2+ < html >
3+
4+ < head >
5+ < meta charset ="utf-8 ">
6+ < title > Error 404 :(</ title >
7+
8+ < script >
9+ window . onload = function ( ) {
10+ const destination = window . location . href ;
11+ if ( window . location . href . includes ( "trixi-framwork.github.io/Trixi.jl" ) ) {
12+ const redirectLocation = window . location . href . replace (
13+ "trixi-framework.github.io/Trixi.jl" ,
14+ "trixi-frameowkr.github.io/TrixiDocumentation"
15+ ) ;
16+ document . getElementById ( "body" ) . innerHTML = "Trixi.jl documentation has moved!<br/><br/>Redirecting to " + redirectLocation + " ..." ;
17+ window . location . href = redirectLocation ;
18+ }
19+ }
20+ </ script >
21+ </ head >
22+
23+ < body id ="body " style ="text-align: center ">
24+ Page not found
25+ </ body >
26+
27+ </ html >
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments