]> gitweb.factorcode.org Git - factor.git/commit
tools.crossref: fix for not-enough crossref resetting
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Jan 2022 19:59:43 +0000 (11:59 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Jan 2022 19:59:43 +0000 (11:59 -0800)
commit4e3fe6335e88df4017325cab7577cf221fab8061
tree8fabee76cd63cb4604317470dc5463524c6929fb
parenta80f31eedc87e3eb07f1e679532eabf53ad017ca
tools.crossref: fix for not-enough crossref resetting
basis/tools/crossref/crossref.factor