diff .bash_profile @ 185:daa1d18ece79

Merging heads
author Steve Huston <huston@astro.princeton.edu>
date Tue, 03 Mar 2020 15:59:27 -0500
parents 315bbb06066a
children 6e7913283c7a
line wrap: on
line diff