.bashrc.obsolete
changeset 987 e0ffdc132f41
parent 922 e2c60fd8f61b