]> gitweb.factorcode.org Git - factor.git/commit
mason.git: rename git-pull to git-clone-or-pull since that's what it does.
authorDoug Coleman <doug.coleman@gmail.com>
Thu, 11 Jun 2015 01:52:53 +0000 (18:52 -0700)
committerDoug Coleman <doug.coleman@gmail.com>
Thu, 11 Jun 2015 01:52:53 +0000 (18:52 -0700)
commit43b5eab7a44cff2046717f65a5735e58476ab66c
tree322bb6c04eb9bf6fd16cbba6b7ff5d17f6c0849c
parenta7958c65b20a3aea5842d9dc0e16f4681e581193
mason.git: rename git-pull to git-clone-or-pull since that's what it does.
extra/mason/git/git.factor
extra/mason/updates/updates.factor