# HG changeset patch # User luca_milaz # Date 1719956164 0 # Node ID 78765e20fae0ddbaaa19f615b5de671a8394b0f1 # Parent 86476925ab8a31e20ab0039990365aff63fdcbbd Uploaded diff -r 86476925ab8a -r 78765e20fae0 marea_2_0/flux_sampling.xml --- a/marea_2_0/flux_sampling.xml Tue Jul 02 21:23:20 2024 +0000 +++ b/marea_2_0/flux_sampling.xml Tue Jul 02 21:36:04 2024 +0000 @@ -7,7 +7,7 @@ cobra lxml - swiglpk +