-- MakeUserCredentials.cm
-- last edited by Levin on June 15, 1983 11:42 am

Compile UserCredentials
Compile UserCredentialsImpl