!-------------------------------------------------------------------------------
!
!  JUMP linker options file - used simply to embed some version information.
!
!-------------------------------------------------------------------------------
!
NAME = JUMP
!
IDENTIFICATION = "V3.0 1998-06-26"
!
!-------------------------------------------------------------------------------