Skip to content

_frontend: allow showing the element kind in bst show#2058

Merged
juergbi merged 1 commit intomasterfrom
abderrahim/bst-show-kind
Sep 19, 2025
Merged

_frontend: allow showing the element kind in bst show#2058
juergbi merged 1 commit intomasterfrom
abderrahim/bst-show-kind

Commits

Commits on Sep 10, 2025