diff run.gui_sh @ 98:778130f1a4c4

F2 now opens a new window
author Fox
date Tue, 21 Mar 2023 01:30:52 +0100
parents 4ee26d904fe3
children
line wrap: on
line diff