Name	Size	Permission	Options
test	DIR	drwxrwxr-x	Action Delete Chmod Rename
dune	0.432 KB	-rw-rw-r--	action delete edit rename chmod
let_trail.mli	0.039 KB	-rw-rw-r--	action delete edit rename chmod
let_trail.mll	0.83 KB	-rw-rw-r--	action delete edit rename chmod
pp.real.ml	7.377 KB	-rw-rw-r--	action delete edit rename chmod
select-impl	0.148 KB	-rw-rw-r--	action delete edit rename chmod
select-shims	0.22 KB	-rw-rw-r--	action delete edit rename chmod
shims.402.ml	0.058 KB	-rw-rw-r--	action delete edit rename chmod
shims.403.ml	0.071 KB	-rw-rw-r--	action delete edit rename chmod
shims.406.ml	0.174 KB	-rw-rw-r--	action delete edit rename chmod