diff options
| author | 2014-01-29 21:26:19 +0100 | |
|---|---|---|
| committer | 2014-01-29 21:26:19 +0100 | |
| commit | 165eb57459a152b3cc6aa3fd15ca990c3d908829 (patch) | |
| tree | 640ddacbc6eabc985646dd65b0578f369ea92321 /index.php | |
| parent | 75096e6a39fe5d34d3951991f296f616e62a9fd8 (diff) | |
| parent | c053825ff8f9792e692c101585481129b006937b (diff) | |
Sortie de la version 0.70.7.0
Diffstat (limited to 'index.php')
| -rw-r--r-- | index.php | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,2 +1,3 @@ <?php -header('Location: public/');
\ No newline at end of file +header('Location: p/', true, 301); +include('index.html'); |
