Name	Size	Mode	Actions
assert.awk	382	0644	editdlrm
bits2str.awk	327	0644	editdlrm
cliff_rand.awk	307	0644	editdlrm
ctime.awk	233	0644	editdlrm
ftrans.awk	317	0644	editdlrm
getopt.awk	2241	0644	editdlrm
gettime.awk	2491	0644	editdlrm
group.awk	1810	0644	editdlrm
join.awk	378	0644	editdlrm
libintl.awk	238	0644	editdlrm
nextfile.awk	386	0644	editdlrm
noassign.awk	422	0644	editdlrm
ord.awk	937	0644	editdlrm
passwd.awk	1164	0644	editdlrm
readable.awk	446	0644	editdlrm
rewind.awk	404	0644	editdlrm
round.awk	661	0644	editdlrm
strtonum.awk	1455	0644	editdlrm
zerofile.awk	424	0644	editdlrm

# cliff_rand.awk --- generate Cliff random numbers # # Arnold Robbins, arnold@skeeve.com, Public Domain # December 2000 BEGIN { _cliff_seed = 0.1 } function cliff_rand() { _cliff_seed = (100 * log(_cliff_seed)) % 1 if (_cliff_seed < 0) _cliff_seed = - _cliff_seed return _cliff_seed }