diff run.gui_sh @ 23:222aafd9491b

Package script: archive the resulting files into a TAR
author Fox
date Thu, 05 May 2022 00:59:37 +0200
parents 4ee26d904fe3
children
line wrap: on
line diff