]> gitweb.factorcode.org Git - factor.git/commit
tools.crossref: invalidate only with null definitions-changed
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Jan 2022 18:59:43 +0000 (10:59 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Jan 2022 18:59:43 +0000 (10:59 -0800)
commita80f31eedc87e3eb07f1e679532eabf53ad017ca
treed5cf86702ff705a5dfe4de46cb3dd80bbd42821e
parent9fe375f7368f3eb9c62a8fb04e8165d343a40af4
tools.crossref: invalidate only with null definitions-changed
basis/tools/crossref/crossref.factor