Mini Shell

Name	Size	Permissions	Options
gradingpanel	--	drwxrwxr-x
user_picker	--	drwxrwxr-x

content.mustache	1.249 KB	-rwxrwxr-x
grade_placeholder.mustache	14.386 KB	-rwxrwxr-x
grading.mustache	6.858 KB	-rwxrwxr-x
module_content_placeholder.mustache	8.541 KB	-rwxrwxr-x
navigation.mustache	4.635 KB	-rwxrwxr-x
status.mustache	1.267 KB	-rwxrwxr-x
status_placeholder.mustache	1.08 KB	-rwxrwxr-x
tools.php	0 KB	-rwxrwxr-x
user_picker.mustache	2.863 KB	-rwxrwxr-x
user_picker_placeholder.mustache	1.74 KB	-rwxrwxr-x