.bashrc.obsolete
changeset 945 d9232a82c55a
parent 922 e2c60fd8f61b