Andrew Moore 8dddc300cb Fixed the extract() command which I had broken attempting to implement
it without cat.  It now requires cat again (no way around it unless
gunzip can accept arbitrary filename suffixes).
1993-09-13 02:23:55 +00:00
..
1993-08-30 09:56:20 +00:00
1993-07-19 19:12:33 +00:00
1993-08-15 07:11:52 +00:00