diff run.gui_sh @ 118:290101988622

Functional checkbox options, and saving options to a card
author Fox
date Fri, 24 Nov 2023 23:20:29 +0100
parents 4ee26d904fe3
children
line wrap: on
line diff