| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Makefile | 2184 | 1993-Oct-30 22:01 |
| Makefile.in | 1879 | 1993-Oct-30 22:01 |
| cfg-paper.texi | 29217 | 1993-Oct-30 22:01 |
| config.status | 214 | 1993-Oct-30 22:01 |
| configure.in | 378 | 1993-Oct-30 22:01 |
| configure.man | 3188 | 1993-Oct-30 22:01 |
| configure.texi | 73534 | 1993-Oct-30 22:01 |
| make-stds.texi | 18223 | 1993-Oct-30 22:01 |
| standards.texi | 47797 | 1993-Oct-30 22:01 |