![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[TXT]](/icons/c.gif){kind=icon}
| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | 08-Nov-11 15:56 | - | |
| EXTERN.h | 31-Aug-92 00:51 | 241 | |
| INTERN.h | 31-Aug-92 00:51 | 239 | |
| Makefile | 26-Dec-00 17:59 | 581 | |
| common.h | 01-Feb-93 23:59 | 4021 | |
| config.h | 30-Apr-95 18:38 | 435 | |
| inp.c | 24-Jul-94 19:35 | 8213 | |
| inp.h | 31-Aug-92 00:51 | 630 | |
| patch.c | 30-Jul-96 21:08 | 20K | |
| patchlevel.h | 31-Aug-92 00:52 | 22 | |
| pch.c | 01-Feb-93 23:59 | 32K | |
| pch.h | 01-Feb-93 23:59 | 1514 | |
| util.c | 24-Jul-94 19:35 | 7315 | |
| util.h | 31-Aug-92 00:52 | 2234 | |
| version.c | 31-Aug-92 00:52 | 489 | |
| version.h | 31-Aug-92 00:52 | 204 |