.bashrc.obsolete
changeset 1020 ee4b6963627e
parent 922 e2c60fd8f61b