Name	Size	Permission	Modify
all	--	drwxr-xr-x	Select Delete Chmod Rename
coll	--	drwxr-xr-x	Select Delete Chmod Rename
strsrch	--	drwxr-xr-x	Select Delete Chmod Rename
translit	--	drwxr-xr-x	Select Delete Chmod Rename
ugrep	--	drwxr-xr-x	Select Delete Chmod Rename
Makefile	2.881 KB	-rw-r--r--	Select Delete Chmod Rename Edit
Makefile.in	2.893 KB	-rw-r--r--	Select Delete Chmod Rename Edit
defs.mk	1.156 KB	-rw-r--r--	Select Delete Chmod Rename Edit
readme.txt	1.629 KB	-rw-r--r--	Select Delete Chmod Rename Edit
rules.mk	1.264 KB	-rw-r--r--	Select Delete Chmod Rename Edit