move code up one directory
[atutor.git] / documentation / instructor / delete_course.php