.bashrc.obsolete
changeset 1038 79c56b8fb8e0
parent 922 e2c60fd8f61b