.bashrc.obsolete
changeset 1034 7353d0eeff27
parent 922 e2c60fd8f61b