mason.git: new repo location

fix-linux
Doug Coleman 2020-01-04 08:27:16 -06:00
parent 16442c27ac
commit f621e69335
1 changed files with 2 additions and 2 deletions

View File

@ -16,7 +16,7 @@ IN: mason.git
{ {
"git" "git"
"clone" "clone"
"git://factorcode.org/git/factor.git" "git://factorcode.org/git/factor-github.git"
} ; } ;
: git-clone ( -- ) : git-clone ( -- )
@ -28,7 +28,7 @@ IN: mason.git
{ {
"git" "git"
"pull" "pull"
"git://factorcode.org/git/factor.git" "git://factorcode.org/git/factor-github.git"
"master" "master"
} ; } ;