diff run.gui_sh @ 110:487ba392d38a

Open options tab in a new window
author Fox
date Thu, 15 Jun 2023 00:09:23 +0200
parents 4ee26d904fe3
children
line wrap: on
line diff