log src/s/ptx4.h @ 16719:0bbc2e3d4bd7

age author description
1996-08-13 Richard M. Stallman Fix include file name.
1996-08-09 Richard M. Stallman Initial revision