7f8273d MAN: clarify which shell option takes precedence

Authored and Committed by jhrozek 10 years ago
    MAN: clarify which shell option takes precedence
    
        
file modified
+7 -6