minor touchups
[platal.git] / htdocs.net / fiche.php
... / ...
CommitLineData
1<?php
2 header("Location: https://www.polytechnique.org/fiche.php?user=".$_GET['user']);
3?>