Merge pull request #6 from gregrgay/master

[atutor.git] / themes / default15 / theme.cfg.php

diff --git a/docs/themes/default15/theme.cfg.php b/themes/default15/theme.cfg.php
similarity index 100%
rename from docs/themes/default15/theme.cfg.php
rename to themes/default15/theme.cfg.php