Skip to content

Fix proof task tree forced white background.#3663

Merged
Drodt merged 1 commit intomainfrom
weigl/fixprooftasktree
Nov 21, 2025
Merged

Fix proof task tree forced white background.#3663
Drodt merged 1 commit intomainfrom
weigl/fixprooftasktree

Commits

Commits on Nov 20, 2025