Name	Size	Permission	Modify
ct_length.awk	0.461 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
decl.awk	3.192 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
deps.awk	1.816 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
eatc.awk	0.62 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
gdecl.awk	2.884 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
hcal	13.971 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
hical	2.891 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
nocomment.awk	0.639 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
primes.awk	1.033 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit
qsort.awk	1.106 KB	-rwxr-xr-x	Select Delete Chmod Rename Edit