Skip to content

chore: sync rm_set_option with mathlib, fix it on Windows, remove 29 respectTransparency options - #1705

Merged
zhikaip merged 3 commits into
masterfrom
update_rm_set_option
Oct 1, 2026
Merged

zhikaip merged 3 commits into
masterfrom
update_rm_set_option

chore: remove unnecessary set_option backward.isDefEq.respectTranspar…

15541f5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Python based style linter
succeeded Oct 1, 2026 in 18s