.bashrc.obsolete
changeset 944 abefcbeca9a5
parent 922 e2c60fd8f61b