]> gitweb.factorcode.org Git - factor.git/commit - extra/build-from-source/build-from-source.factor
build-from-source: don't use github-git-uri by default
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Apr 2023 17:39:51 +0000 (10:39 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Apr 2023 17:39:51 +0000 (10:39 -0700)
commit7dd6fc39feec8172bb4e8109f7b664cad7c15a4d
tree31c23484d5aa686dae37239c7172992160755627
parent69017582598d5d4fb9f0cad8320d5ffe04ffc07c
build-from-source: don't use github-git-uri by default
extra/build-from-source/build-from-source.factor