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