Doug Coleman 43b5eab7a4 mason.git: rename git-pull to git-clone-or-pull since that's what it does.		2015-06-10 18:52:53 -07:00
..
authors.txt	mason: various assorted improvements	2010-09-05 15:22:02 -07:00
git.factor	mason.git: rename git-pull to git-clone-or-pull since that's what it does.	2015-06-10 18:52:53 -07:00