From a72b693b21d09a5a10c1202cf3e96b2362b10de4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Fuhrmann?= <juergen-fuhrmann@web.de>
Date: Tue, 5 Nov 2024 21:01:34 +0100
Subject: [PATCH] bump pluto version

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 81ca939..3fade69 100644
--- a/Project.toml
+++ b/Project.toml
@@ -17,7 +17,7 @@ Scratch = "6c6a2e73-6563-6170-7368-637461726353"
 DefaultApplication = "1"
 JSON = "0.20, 0.21"
 NodeJS_20_jll = "20"
-Pluto = "0.16, 0.17, 0.18, 0.19"
+Pluto = "0.16, 0.17, 0.18, 0.19, 0.20"
 RelocatableFolders = "1"
 Scratch = "1"
 julia = "1.6"