Closed wardvanbelle closed 1 year ago
Just a small pull request as to remove the use of include("launch.jl") since this is no longer necessary when using Pluto.
include("launch.jl")
@wardvanbelle did you test this on windows?
@Beramos yes. I use windows myself
no longer relevant, closing
Just a small pull request as to remove the use of
include("launch.jl")
since this is no longer necessary when using Pluto.