<?php
    header("location: /deployment/all/login/");
    // echo '<h1>' . php_uname("n") . '</h1><hr>';
?>

<a href="http://www.iml.unibe.ch/">IML Startseite</a> |
<a href="/deployment/">Deployment</a> | 
<a href="http://gitlab.iml.unibe.ch/">Gitlab</a> | 
