John Benediktsson de9094b8d5 tools.which: add a convenience for "which or".		2015-06-01 09:11:19 -07:00
..
authors.txt	…
which-docs.factor	…
which.factor	…