Remove unused dependencies on theme

2023-09-28 17:13:10 -07:00
parent 38a9e6fde1
commit e34ebbc665
5 changed files with 0 additions and 8 deletions
@@ -23,7 +23,6 @@ language = { path = "../language" }
 settings = { path = "../settings" }
 feature_flags = { path = "../feature_flags" }
 sum_tree = { path = "../sum_tree" }
-theme = { path = "../theme" }

 anyhow.workspace = true
 futures.workspace = true