diff push_cmd.py @ 113:31923684e4dc

Better note on how to pull a repository.
author John Paulett <john.paulett@gmail.com>
date Thu, 27 Nov 2008 21:23:01 -0600
parents 1da7aafdd323
children 58ae90a65f41
line wrap: on
line diff