Name	Size	Permission	Options
Makefile	0.138 KB	-rw-rw-r--	action delete edit rename chmod
README.md	1.139 KB	-rw-rw-r--	action delete edit rename chmod
cloc.ml	0.508 KB	-rw-rw-r--	action delete edit rename chmod
count_hash.ml	0.238 KB	-rw-rw-r--	action delete edit rename chmod
dfa_restart.ml	1.258 KB	-rw-rw-r--	action delete edit rename chmod
dune	0.085 KB	-rw-rw-r--	action delete edit rename chmod
pcregrep.ml	3.386 KB	-rw-rw-r--	action delete edit rename chmod
subst.ml	1.89 KB	-rw-rw-r--	action delete edit rename chmod