CompatHelper: bump compat for Pluto to 0.20 for package docs, (drop existing compat)#146
Closed
github-actions[bot] wants to merge 1 commit intomainfrom compathelper/new_version/2024-10-18-00-11-20-830-03847616449
+1-1
Commits
Commits on Oct 18, 2024
- committed
CompatHelper Julia