comparison package.gui_sh @ 66:df652edb3c0e

TabBoard: Don't record board tags if the board is empty
author Fox
date Fri, 23 Dec 2022 22:41:51 +0100
parents 11bf54badc99
children 0d4e996a5d99
comparison
equal deleted inserted replaced
65:4dd7d78e19a1 66:df652edb3c0e