.bashrc.obsolete
changeset 1023 15f1cfa23949
parent 922 e2c60fd8f61b