]> gitweb.factorcode.org Git - factor.git/commit
tools.crossref: using short-circuit
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 29 Jan 2023 18:56:57 +0000 (10:56 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 29 Jan 2023 18:56:57 +0000 (10:56 -0800)
commitb6ab87a18193622474f7a7b983b580810bb132c2
tree9fbe0b3958cee6dbf0a72094067bb3e2ee4e34fb
parent59a6d8238ab0d3f5da7f48cf2cf214f3ebbe73f0
tools.crossref: using short-circuit
basis/tools/crossref/crossref.factor