comparison bashrc/bash_profile @ 383:ff48d206d1f1

Miscellaneous tweaks.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 05 Aug 2017 22:11:13 -0700
parents 2e0fbe44e9fe
children
comparison
equal deleted inserted replaced
382:c3a863440b1a 383:ff48d206d1f1