72bdc6 Moved and changed user_mls to gen_user.

Authored and Committed by Karl MacMillan 19 years ago
    Moved and changed user_mls to gen_user.
    
    
        
file modified
+8 -3