diff gentests.py @ 2294:7e995fb948c3

Make UI font less comically large
author Michael Pavone <pavone@retrodev.com>
date Fri, 10 Feb 2023 21:37:59 -0800
parents f6ee0df6bb48
children ab577e2ed66a
line wrap: on
line diff