Merge pull request #17 from JuliaPluto/armada-slider-server

✨ use armada slider server
JuliaPluto · Oct 18, 2023 · e5fc590 · e5fc590
2 parents 5d07274 + 4b8ccf8
commit e5fc590
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pluto-deployment-environment/PlutoDeployment.toml b/pluto-deployment-environment/PlutoDeployment.toml
@@ -3,4 +3,5 @@ baked_notebookfile=false
 baked_state=false
 create_index=true
 create_pluto_featured_index=true
+slider_server_url="https://fonsi.armada.silentech.gr"
 # more parameters can go here