-- File: Finger.config
-- Created by: Donahue, October 15, 1984 3:58:01 pm PDT
-- Contents: config for Finger

-- Last edited by:
--   Donahue, November 12, 1984 8:40:38 am PST

Finger: CONFIGURATION LINKS: CODE
 IMPORTS
  BasicTime, Booting,
  Commander,
  Convert,
  FS, IO, Rope,
  DB,
  PrincOpsUtils,
  IdleExtras,
  Process,
  PupDefs,
  TextFind,
  WalnutMailExtras,
  UserCredentials
  
EXPORTS FingerOps

CONTROL FingerOpsImpl, FingerCmd =

BEGIN

FingerOpsImpl;
FingerCmd;

END.