Merge pull request #6 from gregrgay/master
[atutor.git] / themes / default / include / side_menu.tmpl.php