| commit | cdaa3d95b87b1da0d94fb82ef73594f8bcbb14ce | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Nov 14 10:43:24 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Nov 14 10:43:24 1995 +0000 |
| tree | 09f3a3eb76d2a8bd50fb2707997ce7ee9d3f73bd | |
| parent | 754d4a4fa03f2821649c2761f3487e0d117f1f30 [diff] |
Universal header changes: some new bits defined.