diff gentests.py @ 2306:62f316b76e9a

Migrate ui.exit to ui.menu and create a new ui.exit for quitting
author Michael Pavone <pavone@retrodev.com>
date Thu, 23 Mar 2023 22:37:08 -0700
parents f6ee0df6bb48
children ab577e2ed66a
line wrap: on
line diff