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

This commit is contained in:
Quentin 2019-09-17 19:52:12 +02:00
commit 10922fa10a

View file

@ -294,13 +294,6 @@ thunder_configure_2_full:
thunder-server 6 450, \
thunder-server 6 550, \
thunder-server 6 650, \
thunder-server 16 50, \
thunder-server 16 150, \
thunder-server 16 250, \
thunder-server 16 350, \
thunder-server 16 450, \
thunder-server 16 550, \
thunder-server 16 650, \
thunder-server 12 50, \
thunder-server 12 150, \
thunder-server 12 250, \
@ -308,6 +301,13 @@ thunder_configure_2_full:
thunder-server 12 450, \
thunder-server 12 550, \
thunder-server 12 650, \
thunder-server 16 50, \
thunder-server 16 150, \
thunder-server 16 250, \
thunder-server 16 350, \
thunder-server 16 450, \
thunder-server 16 550, \
thunder-server 16 650, \
thunder-server 8 50, \
thunder-server 8 150, \
thunder-server 8 250, \