From 7c61d3899bab40b6c56beece967686edbeee2df3 Mon Sep 17 00:00:00 2001
From: Joel Dahne <joel@dahne.eu>
Date: Fri, 6 Oct 2023 11:30:50 +0200
Subject: [PATCH] Documentation: Remove Arblib as dependency

This is added as a development dependency by the github workflow.
---
 docs/Project.toml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/Project.toml b/docs/Project.toml
index 3391da65..208ecd62 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -1,5 +1,4 @@
 [deps]
-Arblib = "fb37089c-8514-4489-9461-98f9c8763369"
 BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"