Skip to content

«Baum»: no box hint; the → chain export copies the whole statement (checked) - #58

Merged
cedricvogel-leo merged 1 commit into
mainfrom
fix/baum-no-box-hint
Nov 8, 2026
Merged

cedricvogel-leo merged 1 commit into
mainfrom
fix/baum-no-box-hint

Commits

  1. Commits on Nov 8, 2026