File Manager

Name	Type	Size	Permissions
assert.awk	file	383 bytes	0644
bits2str.awk	file	334 bytes	0644
cliff_rand.awk	file	307 bytes	0644
ctime.awk	file	234 bytes	0644
ftrans.awk	file	315 bytes	0644
getopt.awk	file	2,202 bytes	0644
gettime.awk	file	2,491 bytes	0644
group.awk	file	1,765 bytes	0644
have_mpfr.awk	file	221 bytes	0644
inplace.awk	file	1,996 bytes	0644
intdiv0.awk	file	462 bytes	0644
join.awk	file	378 bytes	0644
libintl.awk	file	238 bytes	0644
noassign.awk	file	422 bytes	0644
ord.awk	file	937 bytes	0644
passwd.awk	file	1,199 bytes	0644
processarray.awk	file	355 bytes	0644
quicksort.awk	file	1,031 bytes	0644
readable.awk	file	489 bytes	0644
readfile.awk	file	267 bytes	0644
rewind.awk	file	404 bytes	0644
round.awk	file	661 bytes	0644
shellquote.awk	file	472 bytes	0644
strtonum.awk	file	1,454 bytes	0644
walkarray.awk	file	214 bytes	0644
zerofile.awk	file	424 bytes	0644