.bashrc.obsolete
changeset 1033 8d13ffe12bd6
parent 922 e2c60fd8f61b