diff make-debian-package @ 54:40911898ed23

Fix multiple border glitches.
author davidb
date Thu, 07 May 2020 14:05:40 -0700
parents 1aea8079484b
children
line wrap: on
line diff