.bashrc.obsolete
changeset 1019 ee5840caf22c
parent 922 e2c60fd8f61b