move code up one directory

[atutor.git] / tools / index.php

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