]> gitweb.factorcode.org Git - factor.git/tree - extra/tools/which/
tools.cat: adding "cat" tool.
[factor.git] / extra / tools / which /
drwxr-xr-x   ..
-rw-r--r-- 18 authors.txt
-rw-r--r-- 423 which-docs.factor
-rw-r--r-- 1206 which.factor