From 735d5ea6824125ce6c65afc98f87ee2f45ca818a Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Sat, 10 Aug 2024 17:44:56 +0200 Subject: [PATCH] oops --- pluto-deployment-environment/Manifest.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pluto-deployment-environment/Manifest.toml b/pluto-deployment-environment/Manifest.toml index 7e9fe77..41696da 100644 --- a/pluto-deployment-environment/Manifest.toml +++ b/pluto-deployment-environment/Manifest.toml @@ -546,7 +546,7 @@ version = "0.1.6" [[deps.PlutoPages]] deps = ["BetterFileWatching", "CommonMark", "Gumbo", "HypertextLiteral", "InteractiveUtils", "JSON", "LiveServer", "Logging", "Malt", "Markdown", "MarkdownLiteral", "Pkg", "Pluto", "PlutoHooks", "PlutoLinks", "PlutoSliderServer", "PlutoUI", "ProgressLogging", "RelocatableFolders", "SHA", "ThreadsX", "Unicode", "YAML"] -path = "/Users/fons/Documents/PlutoPages.jl/" +git-tree-sha1 = "5fa183fe8d8b7beaf910f30bea5eb356b8b16b8d" uuid = "d5dc3dd1-4774-47c7-8860-0a1ad9e34b8c" version = "0.1.6"