Merge branch 'master' of git://factorcode.org/git/factor

db4
Slava Pestov 2008-02-07 17:07:58 -06:00
commit e713989e64
1 changed files with 2 additions and 2 deletions

View File

@ -69,8 +69,8 @@ VAR: stamp
"git"
"pull"
"--no-summary"
! "git://factorcode.org/git/factor.git"
"http://dharmatech.onigirihouse.com/factor.git"
"git://factorcode.org/git/factor.git"
! "http://dharmatech.onigirihouse.com/factor.git"
"master"
}
run-process process-status