Use releases dependencies #8

Merged
muellerr merged 3 commits from use-released-dependencies into main 2024-04-18 14:08:18 +02:00
Showing only changes of commit 8ecd6f2847 - Show all commits

View File

@ -18,7 +18,7 @@ num_enum = "0.7"
mio = "0.8"
[dependencies.satrs]
version = "0.2.0-rc.1"
version = "0.2.0-rc.3"
# git = "https://egit.irs.uni-stuttgart.de/rust/sat-rs.git"
# branch = "main"
features = ["test_util"]