Skip to content

Update to Pluto 0.20.13#209

Merged
rikhuijzer merged 1 commit into
JuliaPluto:mainfrom
j-fu:Pluto_20_13
Jul 8, 2025
Merged

Update to Pluto 0.20.13#209
rikhuijzer merged 1 commit into
JuliaPluto:mainfrom
j-fu:Pluto_20_13

Update to Pluto 20.13

99c4dce
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

4 warnings

The logs for this run have expired and are no longer available.