!------------------------------------------------------------------------------- ! ! PP linker options file - used simply to embed some version information. ! !------------------------------------------------------------------------------- ! NAME = PP ! IDENTIFICATION = "V3.0 1998-08-13" ! !-------------------------------------------------------------------------------