Merge pull request #6 from gregrgay/master

[atutor.git] / headstuff.php

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