a8441c Fix userdom_manage_home_texlive() interface

Authored and Committed by Miroslav Grepl 10 years ago
    Fix userdom_manage_home_texlive() interface
    
        
file modified
+8 -10