]> gitweb.factorcode.org Git - factor.git/commit
tools.which: adding the "which" command.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 25 Oct 2012 01:32:55 +0000 (18:32 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 25 Oct 2012 02:20:02 +0000 (19:20 -0700)
commitd4f3a0a2cc3965ffb4390aa19aedb7cb86c1435f
tree566a88ab05c3416ce8b4869225afa8384df24a50
parent2921829b79b039042a7dd54b2d4933cb5ce61443
tools.which: adding the "which" command.
extra/tools/which/authors.txt [new file with mode: 0644]
extra/tools/which/which.factor [new file with mode: 0644]