Na}{

Are you sure you want to delete the file quicksort.awk?

Name	Size	Permission
assert.awk	383 bytes	0644
bits2str.awk	334 bytes	0644
cliff_rand.awk	307 bytes	0644
ctime.awk	234 bytes	0644
ftrans.awk	315 bytes	0644
getopt.awk	2202 bytes	0644
gettime.awk	2491 bytes	0644
group.awk	1765 bytes	0644
have_mpfr.awk	221 bytes	0644
inplace.awk	1996 bytes	0644
intdiv0.awk	462 bytes	0644
join.awk	378 bytes	0644
libintl.awk	238 bytes	0644
noassign.awk	422 bytes	0644
ord.awk	937 bytes	0644
passwd.awk	1199 bytes	0644
processarray.awk	355 bytes	0644
quicksort.awk	1031 bytes	0644
readable.awk	489 bytes	0644
readfile.awk	267 bytes	0644
rewind.awk	404 bytes	0644
round.awk	661 bytes	0644
shellquote.awk	472 bytes	0644
strtonum.awk	1454 bytes	0644
walkarray.awk	214 bytes	0644
zerofile.awk	424 bytes	0644