Skip to content

Commit

Permalink
Remove dependency Preferences (#3570)
Browse files Browse the repository at this point in the history
  • Loading branch information
@lgoettgens
lgoettgens authored Apr 9, 2024
1 parent 05ec2fa commit 095813b
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 3 deletions.
2 changes: 0 additions & 2 deletions Project.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ LazyArtifacts = "4af54fe1-eca0-43a8-85a7-787d91b784e3"
Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"
Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
Polymake = "d720cf60-89b5-51f5-aff5-213f193123e7"
Preferences = "21216c6a-2e73-6563-6e65-726566657250"
Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
RandomExtensions = "fb686558-2515-59ef-acaa-46db3789a887"
Serialization = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
Expand All @@ -38,7 +37,6 @@ LazyArtifacts = "1.6"
Nemo = "0.43.0"
Pkg = "1.6"
Polymake = "0.11.14"
Preferences = "1"
Random = "1.6"
RandomExtensions = "0.4.3"
Serialization = "1.6"
Expand Down
1 change: 0 additions & 1 deletion src/Oscar.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,6 @@ OSCAR is licensed under the GPL v3+ (see LICENSE.md).
"""
module Oscar

using Preferences
using LazyArtifacts

include("imports.jl")
Expand Down

0 comments on commit 095813b

Please sign in to comment.