DEFINITION MODULE KermGet;
(************************************************************************)
(* Get a file from remote server                                        *)
(* written:            14.12.85     Matthias Aebi                       *)
(* last modification:  14.12.85     Matthias Aebi                       *)
(************************************************************************)

EXPORT QUALIFIED Get;

PROCEDURE Get;
(*  get a file from remote server *)

END KermGet.
