.bashrc.obsolete
changeset 1017 0d77f5f13675
parent 922 e2c60fd8f61b
equal deleted inserted replaced
1016:8ba787ff5ab8 1017:0d77f5f13675