/* Copyright (C) 1994, Digital Equipment Corporation                         */
/* All rights reserved.                                                      */
/* See the file COPYRIGHT for a full description.                            */
/*                                                                           */
/* Last modified on Wed Oct 11 13:58:15 PDT 1995 by najork                   */
/*       Created on Fri Feb 18 10:17:09 PST 1994 by najork                   */


if PLATFORM_SUPPORTS_DECPEX
  import_DECPEX ()
  import ("X11")
  Module ("PEX")
  Library ("PEX")
end
