comparison bashrc/bash_profile @ 417:6dbef23ca6bd

Update subrepos if they're already cloned.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 21 Jan 2018 12:50:45 -0800
parents 2e0fbe44e9fe
children
comparison
equal deleted inserted replaced
416:222b477ad678 417:6dbef23ca6bd