add Oscar as dependency in docs/

justus-springer · Oct 18, 2023 · a573fc1 · a573fc1
1 parent 3aa238b
commit a573fc1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,3 +1,4 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 DocumenterCitations = "daee34ce-89f3-4625-b898-19384cb65244"
+Oscar = "f1435218-dba5-11e9-1e4d-f1a5fab5fc13"