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