Merge branch 'master' of gitlab.inria.fr:qdufour/donar

This commit is contained in:
Quentin 2019-09-16 18:00:25 +02:00
commit 5eef0c6651

View file

@ -230,7 +230,7 @@ thunder_configure_full_parse:
thunder_configure_2_full:
./run-3 \
3,thunder_configure_2. \
8,thunder_configure_2. \
thunder-client 9900 30 100 2 50, \
thunder-client 9900 30 100 2 150, \
thunder-client 9900 30 100 2 250, \