Emilio Cobos Álvarez c372431123 scip: Use load_workspace_at. ... This honors the build script config, and is also simpler.		2023-09-19 13:48:05 +02:00
..
src	scip: Use load_workspace_at.	2023-09-19 13:48:05 +02:00
tests/slow-tests	Update notify to 6.1.1	2023-09-04 18:00:12 +02:00
build.rs	Fix typo in build.rs	2022-06-26 10:09:45 +00:00
Cargo.toml	Update notify to 6.1.1	2023-09-04 18:00:12 +02:00