Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
start [2018/02/27 23:27]
matthias adding note about 1.1.4
start [2018/11/02 08:43]
matthias
Line 1: Line 1:
 +<​html>​
 +<div class="​jumbotron">​
 +<div class="​pull-right">​
 +<span class="​post-date"><​b><​small>​October 25, 2018</​small></​b></​span>​
 +</​div>​
 +<​h1>​We are moving ...</​h1> ​
 +<p>
 +We are currently moving this website to a different webserver. The forum is switched into read-only mode for this process.
 +You may encounter some SSL hiccups, we are working on it.
 +
 +Please apologize any inconvenience.
 +
 +Matthias ​
 +</p>
 +<​p><​font size='​-5'>​If you can read this, we are done!</​font></​p>​
 +</​div>​
 +</​html>​
 +
 <​html>​ <​html>​
 <div class="​jumbotron">​ <div class="​jumbotron">​