From 5427e2a5b06c9bd562685cc9641374c57f3cceee Mon Sep 17 00:00:00 2001 From: SimonDanisch Date: Thu, 21 Dec 2023 18:34:22 +0100 Subject: [PATCH] bonito got tagged --- docs/makedocs.jl | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/makedocs.jl b/docs/makedocs.jl index 0e40f5452c2..325c8a645b7 100644 --- a/docs/makedocs.jl +++ b/docs/makedocs.jl @@ -1,7 +1,6 @@ using Pkg cd(@__DIR__) Pkg.activate(".") -Pkg.add(url="https://github.com/SimonDanisch/Bonito.jl") pkg"dev .. ../MakieCore ../CairoMakie ../GLMakie ../WGLMakie ../RPRMakie" Pkg.precompile()