../ nm-vax.h,v 24-Apr-2002 22:00 1708 tm-vax.h,v 24-Apr-2002 22:00 12382 vax.mt,v 24-Apr-2002 22:00 542 vaxbsd.mh,v 24-Apr-2002 22:00 935 vaxult.mh,v 24-Apr-2002 22:00 617 vaxult2.mh,v 24-Apr-2002 22:00 618 xm-vax.h,v 24-Apr-2002 22:00 3380 xm-vaxbsd.h,v 24-Apr-2002 22:00 809 xm-vaxult.h,v 24-Apr-2002 22:00 960 xm-vaxult2.h,v 24-Apr-2002 22:00 799