Mini Shell

Name	Size	Permissions	Options
local	--	drwxr-xr-x

actions.js	45.882 KB	-rw-r--r--
activitychooser.js	15.301 KB	-rw-r--r--
copy_modal.js	5.991 KB	-rw-r--r--
downloadcontent.js	4.534 KB	-rw-r--r--
events.js	1.155 KB	-rw-r--r--
formatchooser.js	1.553 KB	-rw-r--r--
manual_completion_toggle.js	4.855 KB	-rw-r--r--
recommendations.js	1.669 KB	-rw-r--r--
repository.js	5.615 KB	-rw-r--r--
tools.php	0 KB	-rw-r--r--
view.js	1.628 KB	-rw-r--r--