Handle Kerberos credentials when becoming users other than root.
[profile.git] / .profile.d / diff.bashrc
2009-08-04 Iain Pattersoncolordiff.