Merge pull request #6 from gregrgay/master

[atutor.git] / mods / _core / tool_manager / module.php

diff --git a/docs/mods/_core/tool_manager/module.php b/mods/_core/tool_manager/module.php
similarity index 100%
rename from docs/mods/_core/tool_manager/module.php
rename to mods/_core/tool_manager/module.php