move code up one directory

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

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