Skip to content

Switch to Pluto 0.20.21#213

Merged
rikhuijzer merged 2 commits into
JuliaPluto:mainfrom
j-fu:Pluto_20_21
Nov 12, 2025
Merged

Switch to Pluto 0.20.21#213
rikhuijzer merged 2 commits into
JuliaPluto:mainfrom
j-fu:Pluto_20_21

Commits

Commits on Nov 12, 2025