.bashrc.obsolete
changeset 1031 bfec97f86dc3
parent 922 e2c60fd8f61b