| File | Size | Date |
|---|---|---|
| file.c | 8490 | 1987-05-06 |
| input.c | 6043 | 1987-05-06 |
| main.c | 2292 | 1987-05-06 |
| makefile | 673 | 1987-01-15 |
| mkfile | 802 | 1987-05-06 |
| output.c | 3691 | 1987-05-06 |
| perm.c | 8442 | 1987-05-06 |
| setup.c | 4012 | 1987-05-06 |
| share.h | 3016 | 1987-05-06 |
| unmount.c | 170 | 1987-05-06 |
| work.c | 6794 | 1987-05-06 |