]> gitweb.factorcode.org Git - factor.git/commit
tools.cat: use re-encode/re-decode.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 1 Aug 2018 21:25:25 +0000 (14:25 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 1 Aug 2018 21:25:25 +0000 (14:25 -0700)
commited9df3303dacca89e7fc842e054c1a1b24c72fce
tree404048ba43d66f4573e3f2dc0fb3345b6e366df7
parent5e9b804d665e516eecb18023d2d3d1633c964cb0
tools.cat: use re-encode/re-decode.
extra/tools/cat/cat.factor