![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/ps.png){kind=icon} | kerndict.ps | 2004-08-19 19:31 | 21K |
![[ ]](/icons/hand.right.gif){kind=icon} | README | 2004-03-27 21:41 | 409 |
![[TXT]](/theme/icons/c.png){kind=icon} | t1area.c | 2004-03-28 18:27 | 5.2K |
| t1extremes.c | 2004-03-28 18:27 | 5.4K |
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| kerndict.ps | 2004-08-19 19:31 | 21K |
| README | 2004-03-27 21:41 | 409 |
| t1area.c | 2004-03-28 18:27 | 5.2K |
| t1extremes.c | 2004-03-28 18:27 | 5.4K |