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

rikhuijzer merged 2 commits into
JuliaPluto:mainfrom
j-fu:Pluto_20_21

Commits

Commits on Nov 12, 2025