.bashrc.obsolete
changeset 1022 17e43eca7401
parent 922 e2c60fd8f61b