]> gitweb.factorcode.org Git - factor.git/commit
factor.cmd: git pull from http doesn't update my local master to remote's
authorDoug Coleman <doug.coleman@gmail.com>
Mon, 17 Aug 2015 18:23:11 +0000 (13:23 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Mon, 17 Aug 2015 18:23:11 +0000 (13:23 -0500)
commit048bdca05049fbd6bde8db633422c9667ce84741
treed91af2f356e6c7f9fc6a4be9a8c3ec2805dfeb0d
parent9d428cbcaf22e3f7bb65c20815dd97a4d2af9e40
factor.cmd: git pull from http doesn't update my local master to remote's
master. using git:// instead.
build-support/factor.cmd