Name	Size	Permission	Options
META	0.293 KB	-rw-r--r--	action delete edit rename chmod
configurator.a	173.25 KB	-rw-r--r--	action delete edit rename chmod
configurator.cma	119.412 KB	-rw-r--r--	action delete edit rename chmod
configurator.cmi	0.316 KB	-rw-r--r--	action delete edit rename chmod
configurator.cmt	2.62 KB	-rw-r--r--	action delete edit rename chmod
configurator.cmx	0.208 KB	-rw-r--r--	action delete edit rename chmod
configurator.cmxa	4.018 KB	-rw-r--r--	action delete edit rename chmod
configurator.cmxs	179.227 KB	-rw-r--r--	action delete edit rename chmod
configurator.ml	0.015 KB	-rw-r--r--	action delete edit rename chmod
configurator__.cmi	0.339 KB	-rw-r--r--	action delete edit rename chmod
configurator__.cmt	2.648 KB	-rw-r--r--	action delete edit rename chmod
configurator__.cmx	0.156 KB	-rw-r--r--	action delete edit rename chmod
configurator__.ml	0.15 KB	-rw-r--r--	action delete edit rename chmod
configurator__Extract_obj.cmi	0.569 KB	-rw-r--r--	action delete edit rename chmod
configurator__Extract_obj.cmt	19.092 KB	-rw-r--r--	action delete edit rename chmod
configurator__Extract_obj.cmti	3.714 KB	-rw-r--r--	action delete edit rename chmod
configurator__Extract_obj.cmx	2.609 KB	-rw-r--r--	action delete edit rename chmod
configurator__V1.cmi	5.859 KB	-rw-r--r--	action delete edit rename chmod
configurator__V1.cmt	289.59 KB	-rw-r--r--	action delete edit rename chmod
configurator__V1.cmti	30.628 KB	-rw-r--r--	action delete edit rename chmod
configurator__V1.cmx	8.555 KB	-rw-r--r--	action delete edit rename chmod
dune-package	0.944 KB	-rw-r--r--	action delete edit rename chmod
extract_obj.ml	7.683 KB	-rw-r--r--	action delete edit rename chmod
extract_obj.mli	0.223 KB	-rw-r--r--	action delete edit rename chmod
opam	1.024 KB	-rw-r--r--	action delete edit rename chmod
v1.ml	21.019 KB	-rw-r--r--	action delete edit rename chmod
v1.mli	5.776 KB	-rw-r--r--	action delete edit rename chmod