Merge pull request #6 from gregrgay/master

[atutor.git] / mods / _core / editor / editor_tab_functions.inc.php

diff --git a/docs/mods/_core/editor/editor_tab_functions.inc.php b/mods/_core/editor/editor_tab_functions.inc.php
similarity index 100%
rename from docs/mods/_core/editor/editor_tab_functions.inc.php
rename to mods/_core/editor/editor_tab_functions.inc.php