mirror of
https://github.com/PDP-10/its.git
synced 2026-05-06 16:03:41 +00:00
The DB and KA configurations have different console terminal widths, and format these lists differently: DB puts a space after the right bracket, and KA doesn't, so the build was hanging here on KA.