.bashrc.obsolete
changeset 1022 17e43eca7401
parent 922 e2c60fd8f61b
equal deleted inserted replaced
1021:011e1d002d17 1022:17e43eca7401