]> gitweb.factorcode.org Git - factor.git/commit
decimals: change pprint* to not use formatting.private:format-decimal.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 18 Mar 2021 20:03:43 +0000 (13:03 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 18 Mar 2021 20:03:43 +0000 (13:03 -0700)
commitc4eb4357167855bded6ed3567917896bc1b43412
tree29788b7279698aabec46d2f051d6682d5d9faa66
parent49573c5952013bcee0b8784c127af7217c10f329
decimals: change pprint* to not use formatting.private:format-decimal.
extra/decimals/decimals.factor