.bashrc.obsolete
changeset 1012 5db0edb5ff00
parent 922 e2c60fd8f61b