![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| sorter.awk | 23-Aug-2000 07:26 | 787 | |
| lotto | 23-Aug-2000 07:26 | 726 | |
| grade.sort.awk | 23-Aug-2000 07:26 | 721 | |
| lower | 23-Aug-2000 07:26 | 516 | |
| caps | 23-Aug-2000 07:26 | 504 | |
| sort.awk | 23-Aug-2000 07:26 | 369 | |
| do.outline | 23-Aug-2000 07:26 | 310 | |
| pick1 | 23-Aug-2000 07:26 | 234 | |
| mandata.sort | 23-Aug-2000 07:26 | 213 | |