Merge pull request #6 from gregrgay/master

[atutor.git] / search.php

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