.bashrc.obsolete
changeset 1007 0077617b0deb
parent 922 e2c60fd8f61b
equal deleted inserted replaced
1006:ad4478dd89fc 1007:0077617b0deb