Documentation: Remove Arblib as dependency

This is added as a development dependency by the github workflow.
kalmarek · Oct 6, 2023 · 7c61d38 · 7c61d38
1 parent 77d160b
commit 7c61d38
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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"