Merge pull request #6 from gregrgay/master

[atutor.git] / install / install.php

diff --git a/docs/install/install.php b/install/install.php
similarity index 100%
rename from docs/install/install.php
rename to install/install.php