<?php
header("Location: https://yade-dem.org/doc/");
?>