.bashrc.obsolete
changeset 1039 78cdb4a057e3
parent 922 e2c60fd8f61b