.bashrc.obsolete
changeset 935 79dd24c983f5
parent 922 e2c60fd8f61b