]> gitweb.factorcode.org Git - factor.git/commit
tools.cat: remove dependency on formatting, flush properly
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 28 Mar 2022 00:31:04 +0000 (17:31 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 28 Mar 2022 00:31:04 +0000 (17:31 -0700)
commiteb6b52f9770ec3cd196d1f41314ec639494db82c
treed4bb394778c366077c2326ac5d28882308b47b71
parenteb19fc04b2b2c5aace755342122a93fac3b7e6ec
tools.cat: remove dependency on formatting, flush properly
extra/tools/cat/cat.factor