Skip to content

Fix theme undefined in dialog#177

Merged
piever merged 1 commit intoJuliaGizmos:masterfrom
mkitti:mkitti/fix_176
May 18, 2023
Merged

Fix theme undefined in dialog#177
piever merged 1 commit intoJuliaGizmos:masterfrom
mkitti:mkitti/fix_176

Commits

Commits on May 18, 2023