.bashrc.obsolete
changeset 1021 011e1d002d17
parent 922 e2c60fd8f61b
equal deleted inserted replaced
1020:ee4b6963627e 1021:011e1d002d17