]> gitweb.factorcode.org Git - factor.git/commit
tools.which: enable use from command-line.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 1 Apr 2015 21:22:11 +0000 (14:22 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 1 Apr 2015 21:22:11 +0000 (14:22 -0700)
commitbe1a8d085df82b91a7513e3b4df2e55d07f0150e
tree941dbf3afeb97d336fd452922218a588ebf29051
parent44bfc19e3be14e20b7c141cb3268f3afdb339705
tools.which: enable use from command-line.
extra/tools/which/which.factor