Diff

util/error.lua @ 10904:d009a79f723a

util.human.io: Remove padding option and use $COLUMNS as default width
author Matthew Wild <mwild1@gmail.com>
date Thu, 04 Jun 2020 17:24:30 +0100
parent 10501:e8186aba1583
child 11050:51be24b16e8a
line wrap: on
line diff