.bashrc.obsolete
changeset 1013 781084ef85ce
parent 922 e2c60fd8f61b