Merge pull request #6 from gregrgay/master

[atutor.git] / users / tool_settings.inc.php

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