move code up one directory

[atutor.git] / include / lib / search.inc.php

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