../ ct_length.awk 09-Sep-2008 20:52 407 decl.awk 09-Sep-2008 20:52 3044 deps.awk 09-Sep-2008 20:52 1306 eatc.awk 09-Sep-2008 20:52 492 gdecl.awk 09-Dec-2012 23:03 2791 hcal 09-Sep-2008 20:52 14046 hical 21-Aug-2009 00:36 2960 nocomment.awk 09-Sep-2008 20:52 590 primes.awk 09-Sep-2008 20:52 1058 qsort.awk 20-Jan-2020 11:52 1094