John Benediktsson 62fd7e3bbd tools.wc: use re-decode here also.		2018-08-01 21:03:40 -07:00
..
authors.txt	tools.wc: adding "wc" tool.	2017-01-22 14:40:37 -08:00
deploy.factor	tools.wc: adding "wc" tool.	2017-01-22 14:40:37 -08:00
wc.factor	tools.wc: use re-decode here also.	2018-08-01 21:03:40 -07:00