]> gitweb.factorcode.org Git - factor.git/commit
tools.which: add a convenience for "which or".
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 1 Jun 2015 16:11:19 +0000 (09:11 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 1 Jun 2015 16:11:19 +0000 (09:11 -0700)
commitde9094b8d56edf72c640782d76410393851ec8ba
tree440186da0d4c2f61096072b6840e40a9520278c7
parent769af0673a716bbdbb48e0fa818b4e1b42211204
tools.which: add a convenience for "which or".
extra/tools/which/which.factor