Diff

core/portmanager.lua @ 13047:d939bf469057

util.human.io: Prefer using the $COLUMNS environment variable if set (by readline) Feels like it should be faster.
author Kim Alvefur <zash@zash.se>
date Fri, 07 Apr 2023 13:42:20 +0200
parent 12972:ead41e25ebc0
child 13251:7748dfb201de
line wrap: on
line diff